#include<cstdio> #include<cstring> #include<iostream> #include<cmath> #include<ctime> #include<string> #include<algorithm> #include<vector> #include<queue> #include<stack> #include<map> using namespace std; typedef long long LL; const int MR=5e3+10; int n,m; int v[MR],w[MR]; LL dp[MR][MR]; int main(){ cin>>n>>m; for(int i=1;i<=n;i++) { cin>>v[i]>>w[i]; for(int j=1;j<i;j++){ if(v[j]<v[i]){ swap(v[i],v[j]); swap(w[i],w[j]); } } } // memset(dp,0x3f,sizeof dp); // dp[0][0]=0; for(int i=1;i<=n;i++){ for(int j=0;j<=m;j++){ dp[i][j]=dp[i-1][j]; if(j>=w[i]){ dp[i][j]=max(dp[i][j],dp[i-1][j-w[i]]+v[i]); } } } LL ans=0; for(int i=1;i<=n;i++){ ans=max(1ll*v[i]*dp[i][m],ans); } cout<<ans<<endl; return 0; }