3 ms·

And let's not forget the Sahara, the Gobi Desert, etc... Cleaning the atmosphere and terraforming those deserts is probably much easier than terraforming Mars.