Puzzles solved by AUT RT