Define isUnsatisfied in outer context