; total time: 0.40
; task is unsolvable
