2-CNF Boolean Satisfiability Problem

hard