{ 1*k19*x2 + 1*k19*x4 + 3*k19*x6 + 3*k19*x8 = k19*k20,
  1*k19*x7 + 1*k19*x8 = k19*k21 }