N-SAT PLUS 12

N-Sat