; total time: 10.07
; task is unsolvable
