; total time: 12.75
; task is unsolvable
