[ 1*k[10]*x[1] + 1*k[10]*x[2] + 1*k[10]*x[3] + 1*k[10]*x[4] = k[10]*k[11] ]