[ 1*x[1] + 1*x[2] = k[20],
  1*x[3] + 1*x[4] = k[21],
  1*x[5] + 1*x[6] = k[22],
  1*x[7] + 1*x[8] = k[23] ]