[ x[5] = k[6] - x[3],
  x[6] = k[11] - x[1] ]