Will Jannik Sinner win 3:1 against Novak Djokovic?

This is a market to predict the exact set score in the Wimbledon men’s singles semifinal match between Jannik Sinner and Novak Djokovic, scheduled for July 11, 2025. If the listed exact set score occurs, this market will resolve to "Yes". Otherwise, it will resolve to "No". If the match ends in a tie, is canceled, or delayed past July 12, 2025, this market will resolve to "Other". If either player withdraws mid-match, this market will resolve to "Other". The primary resolution source will be official information from Wimbledon (https://www.wimbledon.com/index.html), however, a consensus of credible reporting may also be used.