Definition:Satisfiable Set of Formulas