[ 1*k[12]*x[50] + 1*k[12]*x[51] + 1*k[12]*x[52] = k[12]*k[154] ]