D. Achlioptas and M. Molloy, “Almost all graphs with $2.522 n$ edges are not 3-colorable”, Electron. J. Combin., vol. 6, no. 1, p. R29, Jul. 1999.