Puzzles solved by texy