洞顶岩石裂隙过大时，应采用（ ）整治。