Formula 1: Will 17 or more drivers complete the 2023 Austrian Grand Prix?

The 2023 Austrian Grand Prix is a Formula 1 racing event that is scheduled to take place to take place over 71 laps of the 4.318-kilometre Red Bull Ring in Spielberg, on July 2, 2023. This market will resolve to "Yes" if 17 or more drivers are classified at the finish of the 2023 Austrian Grand Prix main race. Otherwise, this market will resolve to "No". Note, drivers which are disqualified or have covered less than 90% of the number of laps covered by the winner (rounded down to the nearest whole number of laps), will not be classified. This market will resolve based on the official classification published after the race at https://www.formula1.com/en/racing/2022/Austria.html. The number of drivers with classified positions will count for this market. If for any reason the 2023 Austrian Grand Prix is rescheduled to a different time and date on or before July 16, 2023, the same market conditions will apply. If the race is rescheduled to a time and date after July 16, 2023, this market will resolve to 50-50.