An Airline Overbooking Model | Synapse