; total time: 0.45
; task is unsolvable
