252-0491-00L  Satisfiability of Boolean Formulas - Combinatorics and Algorithms