; total time: 0.24
; task is unsolvable
