2.5.2 采用支撑集策略 　　支撑集：设有不可满足子句集S的子集T，如果S-T是可满足的，则T是支持集。