[ 1*k[1]*x[2] + 1*k[1]*x[3] = k[1]*k[15] ]