sqrt(20^2+25^2-2*20*25*cos(143.13))