SATIABILITY

Definition of SATIABILITY