; total time: 0.16
; task is unsolvable
