SAT
充足可能性問題 Boolean Satisfiability Problem
充足可能: Satisfiable
UnSAT
= 充足不能: Unsatisfiable