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