Puzzles solved by WALTER