Analytic and algorithmic solution of random satisfiability problems — latest news, discussion & facts — IJR