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