(9234 km)*((phobos mass)/(3*(mars mass)))^(1/3)