Franklin graph

In the mathematical field of graph theory, the Franklin graph is a 3-regular graph with 12 vertices and 18 edges.
The Franklin graph is named after Philip Franklin, who disproved the Heawood conjecture on the number of colors needed when a two-dimensional surface is partitioned into cells by a graph embedding. The Heawood conjecture implied that the maximum chromatic number of a map on the Klein bottle should be seven, but Franklin proved that in this case six colors always suffice. (The Klein bottle is the only surface for which the Heawood conjecture fails.) The Franklin graph can be embedded in the Klein bottle so that it forms a map requiring six colors, showing that six colors are sometimes necessary in this case. This embedding is the Petrie dual of its embedding in the projective plane shown below.
It is Hamiltonian and has chromatic number 2, chromatic index 3, radius 3, diameter 3 and girth 4. It is also a 3-vertex-connected and 3-edge-connected perfect graph.
Algebraic properties.
The automorphism group of the Franklin graph is of order 48 and is isomorphic to Z/2Z×"S"4, the direct product of the cyclic group Z/2Z and the symmetric group "S"4. It acts transitively on the vertices of the graph, making it vertex-transitive.
The characteristic polynomial of the Franklin graph is