Heawood four-color graph