Noun
unsatisfiability (countable and uncountable, plural unsatisfiabilities)
(mathematics) The condition of being unsatisfiable
Different SAT solvers will find different instances easy or hard, and some excel at proving unsatisfiability, and others at finding solutions. Source: Internet
The propositional formulas could then be checked for unsatisfiability using a number of methods. Source: Internet