{ x11 = x3 + x4 + x5 + x9 + x10*k7/k8,
  x12 = x6 + x7 + x8 + x9 + x10*k7/k8 }