[ 1*k[7]*x[1] + 1*k[7]*x[2] + 1*k[7]*x[3] + 1*k[7]*x[4] = k[7]*k[8] ]