[ Eq(1*k12*x2 + 1*k12*x4 + 1*k12*x8, k12*k108),
  Eq(1*k12*x11 + 1*k12*x13, k12*k109) ]