[ 1*k[1]*x[4] + 1*k[1]*x[5] + 1*k[1]*x[7] + 1*k[1]*x[11] + 1*k[1]*x[12] = k[1]*k[21], 1*k[1]*x[6] + 1*k[1]*x[8] = k[1]*k[22] ]