; total time: 1.25
; task is unsolvable
