#include<iostream>
#include<cstdio>
using namespace std;
int yp[21][21];//体积・价值
int v[250001];
int w[250001];
int dp[3][40001];
int main()
{
	freopen("crazytime.in","r",stdin);
	freopen("crazytime.out","w",stdout);
	int n,m;
	cin>>n>>m;
	int a,b;
	for(int i=1;i<=20;i++)
	{
		for(int j=1;j<=20;j++)
		{
			yp[i][j]=0;
		}
	}
	int maxa=0;
	int maxb=0;
	for(int i=1;i<=n;i++)
	{
		cin>>a>>b;
		yp[a][b]++;
		maxa=max(maxa,a);
		maxb=max(maxb,b);
	}
	int s=0;
	int jl=1;
	for(int i=1;i<=maxa;i++)
	{
		for(int j=1;j<=maxb;j++)
		{
			if(yp[i][j]>0)
			{
				int u=1;
				for(;;)
				{
					
					if(yp[i][j]>=u)
					{
						v[jl]=i*u;
						w[jl]=j*u;
						yp[i][j]=yp[i][j]-u;
						jl++;
						u<<=1;
					}
					else
					{
						if(yp[i][j]>0)
						{
						v[jl]=i*yp[i][j];
						w[jl]=j*yp[i][j];
						jl++;
						}
						break;
					}
				}
			}
		}
	}
	jl--;
	for(int i=0;i<=40000;i++)
	{
		for(int j=0;j<=2;j++)
		{
			dp[j][i]=0;
		}
	}
	int se=0;
	for(int i=1;i<=jl;i++)
	{
		se=1-se;
		for(int j=m;j>=0;j--)
		{
			if(j>=v[i])
			{
				dp[se][j]=max(dp[1-se][j],dp[1-se][j-v[i]]+w[i]);
			}
			else
				dp[se][j]=dp[1-se][j];
		}
	}
	cout<<dp[se][m];
	return 0;
}