Achlioptas, D.; Molloy, M. Almost All Graphs With $2.522 N$ Edges Are Not 3-Colorable. Electron. J. Combin. 1999, 6, R29.