Puzzles solved by UAIS