; total time: 0.58
; task is unsolvable
