[ 1*k[3]*x[4] + 1*k[3]*x[6] + 1*k[3]*x[7] = k[3]*k[17] ]