[ Eq(2*k10*x1 + 2*k10*x2 + 2*k10*x3, k10*k12) ]