[ Eq(1*k2*x3 + 1*k2*x5 + 1*k2*x6, k2*k22) ]