On the Probabilistic Approach to the Random Satisfiability Problem