{ 2*k10*x1 + 2*k10*x2 + 2*k10*x3 = k10*k12 }