On the Complexity of the Satisfiability Problem