N-SAT PLUS 1

N-Sat