; total time: 0.85
; task is unsolvable
