Non-solvable $2$-arc-transitive covers of Petersen graphs

We construct connected $2$-arc-transitive covers of the Petersen graph with non-solvable transformation groups, solving the long-standing problem for the existence of such covers.