; total time: 12.23
; task is unsolvable
