[ Eq(1*k18*x1 + 1*k18*x2 + 1*k18*x4 + 1*k18*x5, k18*k19) ]