Given that they're auctioning off such a large amount, it'll probably be at a lower price compared to the market price.

That said, maybe they're better off trading it in blocks over a period and getting the average price.