Puzzles solved by sld