Puzzles solved by AIG