On the K-sat model with large number of clauses - Dmitry Panchenko (2016)