Definitions for "UNSAT"
unsatisfactory