{ x2 = k6 - x3,
  x6 = k5 - x1 }