Puzzles solved by Ariantor