N-SAT Principal

N-Sat