4.
In other words, the number displayed there includes the buyer’s premium. Once you strip out the premium, the actual hammer price is only 14,000,000 USD, which is below the 15m threshold.
But a lot of people seem to have looked only at the sold price and piled into Yes.