{ 1*k10*x2 + 1*k10*x3 + 1*k10*x5 + 1*k10*x6 + 1*k10*x7 = k10*k12 }