; total time: 1.55
; task is unsolvable
