UNSAT

AcronymDefinition
UNSATUnsatisfactory