[ Eq(1*x1 + 1*x2 + 1*x3, k11) ]