Adding a missing negation in a check. It is odd that there does not seem to be results that change from sat to unsat as a result of this bug.