; total time: 23.36
; task is unsolvable
