; total time: 11.44
; task is unsolvable
