Wiktionary
unsatisfiability
n. (context mathematics English) The condition of being unsatisfiable