; total time: 2.97
; task is unsolvable
