; total time: 12.29
; task is unsolvable
