Puzzles solved by José Fernando Restrepo