Puzzles solved by wfs