开凿平硐、斜井、立井时，自井口到坚硬岩层之间的井巷必须砌碹，并向坚硬岩层内至少延深( )m。