Probabilistic analysis of the Davis Putnam procedure for solving the satisfiability problem