What does UNISAT stand for?

Here's a list of possible definitions for the shorthand UNISAT: