Also check the puzzles where jose luis 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.
