; total time: 2.93
; task is unsolvable
