Analytic and algorithmic solution of random satisfiability problems