fixed cave unsolvable spec