; total time: 0.72
; task is unsolvable
