Survey and Belief Propagation on Random K-SAT