Por ejemplo, una instancia de "SAT" sería el saber si existen valores para formula_1 tales que la expresión: