N-SAT PLUS 5

N-Sat