matching polynomial of the Petersen graph