{ 1*x1 + 2*x6 + 1*x7 = k10,
  1*x2 + 2*x5 + 1*x8 = k11,
  1*x3 + 1*x5 = k12,
  1*x4 + 1*x6 = k13 }