Will Zao Wou-Ki’s “24.01.63” sell for more than HK$80M at Christie’s?

This is a market on the final hammer price for Zao Wou-Ki’s “24.01.63” (Lot 24), which is scheduled to be auctioned at Christie’s on May 24, 2021 (https://www.christies.com/lot/lot-zao-wou-ki-zhao-wuji-1920-2013-240163-6321140). This market will resolve to “Yes” if the hammer price at auction exceeds HK$80,000,000 and “No” otherwise. The market will resolve according to the final hammer price during the live auction at Christie’s (https://www.youtube.com/watch?v=CBmFk-LXCaM). Note this is a market on the final hammer price at the live auction, which does not include buyer’s premium, fees, or taxes, and is not equivalent to “price realised” as listed on Christie’s website. In the event of ambiguity in terms of the market outcome, the market will be resolved at the sole discretion of the Markets Integrity Committee (MIC).