根据《矿山安全条例》和相关规程，必须先行探水才允许掘进施工的情况有( )。