[ Eq(1*k6*x3 + 1*k6*x4 + 1*k6*x5, k6*k7) ]