According to an 8-K filing MicroStrategy provided to the SEC, MicroStrategy said that $11.30 billion of shares are still available for sale. As of Dec. 1, the company held a total of about 402,100 bitcoins.