The yield strength of mild steel with an average grain size of 0.05 mm is 20,000 psi. The yield stress of the same steel with a grain size of 0.007 mm is 40,000 psi. What will be the average grain size of the same steel with a yield stress of 25,000 psi? Assume the Hall-Petch equation is valid and that changes in the observed yield stress are due to changes in dislocation density.