; total time: 0.37
; task is unsolvable
