Analytic and Algorithmic Solution of Random Satisfiability Problem