; total time: 10.27
; task is unsolvable
