[ Eq(1*k18*x5 + 1*k18*x18 + 1*k18*x20 + 1*k18*x22 + 2*k18*x23, k18*k19) ]