; total time: 3.96
; task is unsolvable
