; total time: 12.27
; task is unsolvable
