{ 1*k2*x3 + 1*k2*x5 + 1*k2*x6 = k2*k22 }