{ x5 = k6 - x3,
  x6 = k11 - x1 }