[ Eq(1*x1 + 2*x6 + 1*x7, k10),
  Eq(1*x2 + 2*x5 + 1*x8, k11),
  Eq(1*x3 + 1*x5, k12),
  Eq(1*x4 + 1*x6, k13) ]