; total time: 1.61
; task is unsolvable
