; total time: 10.28
; task is unsolvable
