Puzzles solved by AUXI