; total time: 1.27
; task is unsolvable
