; total time: 0.01
; task is unsolvable
