{ x2 = k13 - x1,
  x4 = k11 - x3,
  x6 = k12 - x5,
  x7 = x8 + x9 }