[ Eq(x2, k71/k69*k1/k2*k69),
  Eq(1*x11 + 1*x12, k77) ]