Puzzles solved by AITOR