; total time: 0.09
; task is unsolvable
