; total time: 17.57
; task is unsolvable
