Puzzles solved by mit13