; total time: 0.59
; task is unsolvable
