Let G12 be a simple graph of 12 vertices, and H12 its complement. It is known that G12 has 7 vertices of degree 10, 2 vertices of degree 9, 1 vertex of degree 8 and 2 vertices of degree 7.​