; total time: 19.81
; task is unsolvable
