[ Eq(1*k35*x5 + 1*k35*x7 + 1*k35*x8, k35*k41) ]