[lxmorj]

It might not take that long given the right tech. You'd need a legit fusion reactor, and enough material to build an long mass ejector and start shooting 0.01c ice pellets into the outer solar system, driving the rest of Ceres toward Mars. The same mass ejectors could be tuned to bombard Mars with ice at a much lower speed later, if needed for terraforming.