Puzzles solved by martus