MSTR currently has about 712k coins and their net debt is about $14B (according to their website). For MSTR to cover their debt, coin price needs to be >$20k. But they couldn't wait for that price to start selling because this would trigger a crash and they wouldn't get an average price of $20k.
So at what price do you think MSTR would have to start selling?