Also check the puzzles where Juan Diego is in a specific place in the ranking based on time:
Challenge: This puzzle has not yet been solved in {size} size. Be the first to complete it.
