; total time: 11.42
; task is unsolvable
