Puzzles solved by IRCI