radius of Antares / radius of Earth