[ Eq(1*k10*x2 + 1*k10*x3 + 1*k10*x5 + 1*k10*x6 + 1*k10*x7, k10*k12) ]