computation Unsatisfiability Problem The unsatisfiability problem is the co decision problem of the SAT problem.