; total time: 3.02
; task is unsolvable
