; total time: 1.62
; task is unsolvable
