; total time: 3.03
; task is unsolvable
