{ 1*x1 + 1*x3 = k8,
  1*x2 + 1*x3 + 1*x5 + 1*x6 = k9,
  1*x4 + 1*x6 = k10 }