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