; total time: 25.73
; task is unsolvable
