; total time: 0.08
; task is unsolvable
