[ 1*k[3]*x[1] + 1*k[3]*x[3] + 1*k[3]*x[4] = k[3]*k[4], 1*k[3]*x[2] + 1*k[3]*x[3] = k[3]*k[5] ]