[ Eq(1*k3*x1 + 1*k3*x3 + 1*k3*x4, k3*k4),
  Eq(1*k3*x2 + 1*k3*x3, k3*k5) ]