N-SAT PLUS 20

N-Sat