Os OG foram todos vendidos para a MicroStrategy?