; total time: 11.45
; task is unsolvable
