McDiarmid–Reed's conjecture for hexagonal graphs
McDiarmid–Reed's conjecture. Every hexagonal graph is (9,4)(9,4)(9,4)-colorable.