[ 1*k[12]*x[2] + 1*k[12]*x[3] = k[12]*k[13] ]