Definition:Unsatisfiable (Boolean Interpretations)