[ 1*k[11]*x[2] + 1*k[11]*x[3] + 1*k[11]*x[4] = k[11]*k[12] ]