Puzzles solved by IREK