Graph Coloring · Challenge problem

The icosahedron graph ($12$ vertices, each of degree $5$) is planar. What is its chromatic number?