Puzzles solved by IRANIS