This really depends on how they treat the BTC at the time.
If they consider them to be an object then they will auction them off.
They are no stranger to real estate and high value asset auctions.
This will probably be GOOD for bitcoin both with regard to big money entering the market and also publicity.
If they consider them to be cash then I'm honestly sure what they will do.
I do this this will also be good though and further assert that BTC is a currency.
and i mean it, u idiot.
the "info" u provide is anyway for people like u. ignored...
Much hate , little HODL...
Walls closing in are and selling is stopping not. Because of china, doomed, are we. Hmmmmmm.
Yeah bit of a tough crowd imho so "bah" to the grumpy sods out there