%I #18 Jun 16 2019 14:17:33
%S 4,2,5,1,8,4,4,7,7,2,9,2,1,8,5,8,8,1,9,8,9,5,9,5,9,3,5,7,5,9,9,0,4,2,
%T 1,2,9,8,5,1,9,0,0,3,9,7,0,3,8,3,7,1,4,1,9,8,5,4,4,7,1,6,0,4,4,4,1,9,
%U 4,7,1,5,0,1,0,5,6,9,2,7,8,2,6,3,2,6,8,1,7,7,1,2,0,7,2,9,4,6,3,6,9,8,4,6,1,7
%N Decimal expansion of the solution of equation log(2) - X/8 - exp(-3X/7) = 0 (4.251844....).
%C This constant was conjectured to be the exact value for the 3-clause threshold in the satisfiability problem (Olivier Dubois 1993).
%H O. Dubois, J. Carlier, <a href="https://doi.org/10.1016/0304-3975(91)90316-T">Probabilistic approach to the satisfiability problem</a>, Theoretical Computer Science, 81, 1991, pp. 65-75.
%t 8*Log[2] + 7/3*ProductLog[-3/(7*2^(3/7))] // RealDigits[#, 10, 106]& // First (* _Jean-François Alcover_, Mar 04 2013 *)
%Y Cf. A072908.
%K cons,easy,nonn
%O 1,1
%A _Benoit Cloitre_, Aug 10 2002