ACHLIOPTAS, D.; MOLLOY, M. Almost all graphs with $2.522 n$ edges are not 3-colorable. The Electronic Journal of Combinatorics, v. 6, n. 1, p. R29, 1 Jul. 1999.