; total time: 3.95
; task is unsolvable
