3-CNF SAT (3 CNF Satisfiability)