premise: If the core is as dense as possible (i.e. completely iron) and the mantle is similar to Earths' (or similar to the SNC meteorites thought to originate on Mars) then the minimum core radius is about 1300 km.