实现了子句的动态分割，效果不错可以求解uf100