An Improved Algorithm for the Satisfiability Problem