mass of asteroid belt / mass of mars