4 ms·

If only the pandemic hadn't happened in early 2020, we'd have probably gotten those four astronauts to mars by the end of that year...