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