[ Eq(1*k19*x2 + 1*k19*x4 + 3*k19*x6 + 3*k19*x8, k19*k20),
  Eq(1*k19*x7 + 1*k19*x8, k19*k21) ]