Definition:Satisfiable Formula