Puzzles solved by ddd