fixed bug. NegationSAT was not using the value assigned to the negation applied to the subformula to determine the truth value of the subformula