; total time: 0.55
; task is unsolvable
