Puzzles solved by DENLI