"I would say that they mean unsatisfiability, because they say ""not satifiable"" in the next sentence. Corovo is right. One can read it here on page 30: https://www.inf.tu-dresden.de/content/institutes/thi/algi/lehre/SS12/AL12/skript/script120413.pdf 
 Martin    

 "