In Macroland, a country whose economy operates according to Okun's law, potential GDP equals $10 trillion, the actual rate of unemployment is 8 percent, and the natural unemployment rate is 6 percent. What is real actual GDP in Macroland?