New State-of-the-Art Results on ESA’s Messenger Space Mission Benchmark