Sounds Reasonable
I'd like to see 2 or 3 long lasting long range nuclear powered rovers investigate some of the more difficult to reach likely spots and at least one include the one good suggestion I've heard from Levin of repeating his LR experiment with different racemic forms of amino acids. It would be quite ironic if Levin's own experiment proved he'd been blowing smoke for 30 years. Artificial intelligence would be nice too as long as they weren't programmed with ass backwards Grondine logic. How many probes are needed depends of course on what the ones we send find and whether or not they increase or decrease the odds for life.
Regards,
Mark