[ 1*k[12]*x[2] + 1*k[12]*x[4] + 1*k[12]*x[8] = k[12]*k[108], 1*k[12]*x[11] + 1*k[12]*x[13] = k[12]*k[109] ]