; total time: 19.80
; task is unsolvable
