{ x10 = k1 - (x2 + x4 + x5 + x3),
  x11 = k2 - x6,
  x12 = k3 - x7,
  x13 = k4 - x8,
  x14 = k5 - x9 }