[ x[6] = k[20] - x[2],
  x[7] = x[3] ]