Puzzles solved by devin