在煤巷构筑密闭时，掏槽深度进入实体煤不应小于（）m，掏至硬顶后再进入实体煤不应小于0.2m。