Analytic and algorithmic solution of random satisfiability problems — scientific article published on 27 June 2002