[ 1*k[1]*x[7] + 1*k[1]*x[8] + 1*k[1]*x[10] + 1*k[1]*x[11] = k[1]*k[13] ]