Puzzles solved by testli