Computing the degree required for sums of squares on the matching polytope.