; total time: 1.17
; task is unsolvable
