N-SAT PLUS 2

N-Sat