79.洞口顶露出仰坡坡脚的水平长度不应小于（ ）m。