[ 1*k[25]*x[2] + 1*k[25]*x[3] + 1*k[25]*x[5] + 1*k[25]*x[19] = k[25]*k[27],
  1*k[25]*x[4] + 1*k[25]*x[6] + 1*k[26]*x[17] + 1*k[26]*x[18] = k[25]*k[28] + k[26]*k[29] ]