Testing of the Frucht graph.