Finally, the satisfiability of a SAT problem is verified by the covering of orthogonal clause group on the whole assignment space.

• 最后，根据正交子句组对整个赋值空间的覆盖情况来判断SAT是否满足。