Puzzles solved by SDD