[ 1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[5] + 1*k[10]*x[6] + 1*k[10]*x[7] = k[10]*k[12] ]