[ 1*x[4] + 1*x[10] = k[23],
  1*x[5] + 1*x[11] = k[24],
  1*x[6] + 1*x[12] = k[25],
  1*x[8] + 1*x[21] + 1*x[22] + 1*x[23] + 1*x[24] + 1*x[25] + 1*x[39] = k[26] ]