; total time: 10.30
; task is unsolvable
