[ Eq(1*k4*x1 + 1*k5*x2 + 1*k6*x4, k4*k17 + k5*k18 + k6*k19),
  Eq(1*k5*x3 + 1*k5*x5, k5*k20) ]