N-SAT PLUS 18

N-Sat