{ 1*k1*x1 + 1*k1*x2 + 2*k1*x4 = k1*k6,
  1*k1*x1 + 1*k1*x3 + 1*k1*x4 = k1*k7 }