More than 9 billion? Give 36,000 people $250,000 a year salary and you still haven't hit 9.2 billion. Pretty sure they could get it done in a year with 36,000 people.
The only thing better than throwing more engineers at an already-late solution is hiring a mass swarm of engineers and turning them loose on a only-semi-bounded new problem.