#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;
}