Puzzles solved by IARA