Do you know how many vertices there are in a Grötzsch graph? - eviltoast