Explain The Satisfiability Problem