[ Eq(1*x2 + 1*x3 + 1*x14, k27),
  Eq(1*x4 + 2*x5 + 2*x6 + 1*x8, k28),
  Eq(1*x13 + 1*x14, k29) ]