idea

A formula is satisfiable if it is possible to find an interpretation (model) that makes the formula true.