; total time: 17.51
; task is unsolvable
