Puzzles solved by slover