洞口仰坡脚到洞门墙背的水平距离不应小于（ ）m。