What is the population of Doisac postwar.

Doisac was destroyed after halo 5, but what was it's population before it was destroyed?