According to the 8-K filing provided by MicroStrategy to the SEC, MicroStrategy stated that there are still $11.3 billion worth of stocks available for sale. As of December 1, the company holds a total of approximately 402,100 Bitcoins.