x^2 + 20^2 - 2*x*20*cos(40 degrees) = 15^2