unsatisfiable

• cannot be satisfied