[ Eq(x11, x3 + x4 + x5 + x9 + x10*k7/k8),
  Eq(x12, x6 + x7 + x8 + x9 + x10*k7/k8) ]