在岩石地层中钻进钻头直径磨损超过（） mm时，宜及时更换修补。