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