Myerson-Satterthwaite_theorem loading ...