Finished CNF SAT section