Puzzles solved by xdc