Isomorphism and Subgraphs · Superchallenge problem

The Petersen graph has $10$ vertices and $15$ edges, with every vertex having degree $3$. How many automorphisms does it have?