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