I say we give the scientists 100 years to explore Mars. Then we start dropping all the asteroids in the asteroid belt onto the planet. With luck, we can drop enough large asteroids onto Mars that their total mass will increase Mars' gravity enough to trap more of the future atmosphere for far longer than it would otherwise.
Plus, all those asteroid impacts will throw up enough dust that we can get the greenhouse effect going.
Or make Mercury the moon of Venus and make Mars into earth's moon and send the moon into free orbit in the asteroid belt and bombard it with all the asteroids and comets until it is big enough to support a mining colony.