Relativistic and proper length [Answer Check]?

If on the planet they measured 40 m, you need to DIVIDE by the relativistic factor to get the astronaut's measurement. So he gets 67 m.