Puzzles solved by THAIS