Puzzles solved by EDWIN