{ 1*x1 + 1*x2 = k20,
  1*x3 + 1*x4 = k21,
  1*x5 + 1*x6 = k22,
  1*x7 + 1*x8 = k23 }