Two non-isomorphic edge colorings of the regular dodecahedron.