Puzzles solved by Sage