[ x[5] = k[16] - x[1],
  x[6] = x[3] + x[1] ]