icosahedral graph chromatic number