After the market closes, I will call @FairlyRandom to generate a number from 1 to 100. If the number is between 1 and 87, this market resolves to YES; otherwise, it resolves to NO