Puzzles solved by Martus