On the survey-propagation equations for the random K-satisfiability problem