N-SAT PLUS

N-Sat