#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using namespace atcoder;
using ll=long long;

int main()
{
	ll n,m;
	cin>>n>>m;
	vector<pair<ll,ll>> cd(n);
	for(int i=0;i<n;i++)cin>>cd[i].first>>cd[i].second;
	sort(cd.begin(),cd.end(),[](auto x,auto y)->bool{
		return x.first>y.first;
	});

	vector<vector<vector<ll>>> dp(n+1,vector<vector<ll>>(m+1,vector<ll>(11)));
	for(int i=0;i<n;i++){
		for(int j=0;j<=m;j++){
			for(int k=0;k<=10;k++){
				ll x=(cd[i].first<<k);
				dp[i+1][j][k]=max(dp[i+1][j][k],dp[i][j][k]);
				if(k<10&&j+x<=m){
					dp[i+1][j+x][k+1]=max(dp[i+1][j+x][k+1],dp[i][j][k]+cd[i].second);
				}
			}
		}
	}
	ll ans=0;
	for(int i=0;i<=m;i++)for(int j=0;j<=10;j++)ans=max(ans,dp[n][i][j]);
	cout<<ans<<endl;
	
    return 0;
}