; total time: 0.12
; task is unsolvable
