; total time: 1.60
; task is unsolvable
