Grötzsch graph