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