; total time: 0.11
; task is unsolvable
