{ x22 = (x12 - x23)/2,
  x23 = (x25 - (x12^2*(1 - 4*k14) + 2*x25*x12*(4*k14 - 1) + x25^2)^(1/2))/(1 - 4*k14),
  x24 = x25 - x22 - x23,
  1*k17*x13 + 1*k17*x14 = k17*k95 }