5.2 岩石洞室开挖