[ Eq(1*x1 + 1*x2 + 1*x12, k15),
  Eq(1*x3 + 1*x4, k16),
  Eq(1*x7 + 1*x10, k17) ]