采煤工作面不准随意留煤顶开采，必须留煤顶托夹矸开采时，必须有（）。