Puzzles solved by MIT