{ x5 = x8 - x1 - x3 - x4,
  x6 = x9 - x1 - x2 - 2*x4,
  x7 = x10 - x2 - k13*x3 }