{ x1 = x2 + x3,
  1*k2*x2 + 1*k2*x3 + 1*k2*x4 + 1*k3*x5 + 1*k4*x6 = k2*k9 + k3*k10 + k4*k11 }