[ 1*x[1] + 1*x[3] = k[81],
  1*x[2] + 1*x[4] = k[82],
  1*x[7] + 1*x[9] = k[83] ]