; total time: 0.23
; task is unsolvable
