#include<bits/stdc++.h>
using namespace std;
#define int long long
#define vi vector<int>
#define ff first
#define ss second
#define pb push_back
#define mp make_pair
#define pi 3.141592653589793238
#define eb emplace_back
#define rep(i,a,b) for (int i = a; i <= b; i++)
#define zip(i,a,b) for(int i=a;i<b;i++)
#define rzip(i,a,b) for(int i=a;i>=b;i--)
#define ll unsigned int
#define test int t;cin>>t; while(t--)
#define um unordered_map
#define en '\n'
#define us unordered_set
typedef pair<int, int>     pii;
typedef pair<char, int>    pci;
typedef pair<char, char>   pcc;
typedef vector<pii>       vii;
typedef long double ld;
#define all(v) v.begin(), v.end()
#define rall(v) v.rbegin(),v.rend()
#define sz(x) (int)x.size()
#define INF (1e18+5)
#define inf (1e9+5)
#define mod 1000000007


void __print(int x) {cerr << x;}
void __print(float x) {cerr << x;}
void __print(double x) {cerr << x;}
void __print(long double x) {cerr << x;}
void __print(char x) {cerr << '\'' << x << '\'';}
void __print(const char *x) {cerr << '\"' << x << '\"';}
void __print(const string &x) {cerr << '\"' << x << '\"';}
void __print(bool x) {cerr << (x ? "true" : "false");}
// You should only debug a pair of simple data types. For example,
// the debug won't work if one of pair's elements is collection type
// (std::vector, std::map, std::set...).
template<typename T, typename V>
void __print(const pair<T, V> &x) {cerr << '{'; __print(x.first); cerr << ','; __print(x.second); cerr << '}';}
template<typename T>
void __print(const T &x) {int f = 0; cerr << '{'; for (auto &i : x) cerr << (f++ ? "," : ""), __print(i); cerr << "}";}
void _print() {cerr << "]\n";}
template <typename T, typename... V>
void _print(T t, V... v) {__print(t); if (sizeof...(v)) cerr << ", "; _print(v...);}
#ifndef ONLINE_JUDGE
#define debug(x...) cerr << "[" << #x << "] = ["; _print(x)
#else
#define debug(x...)
#endif


// bool check_prime(int n)  return whether a number is prime or not O(sqrt(N));
// int BE(int x,int n,int m)  return x^n%m; O(logN);
// void sieve()  from number 1-1000001 saare prime store kar lega  in bool is_prime[1000001] array
// vector<int> z_array(string s)  return vector which is Z-array of string s;
// vector<int> lps(string s)      return vector which is lps array of string s;
// int power(int x,int n) return x^n; O(logN);
// using_ordered_set (template for using ordered set , replace first 2 lines of this page with this code..);
const int fs = 1e6 + 9;
int a[fs], b[fs], c[fs], d[fs];
int32_t main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(0);
#ifndef ONLINE_JUDGE
	if (fopen("input.txt", "r"))
	{
		freopen ("input.txt" , "r" , stdin);
		freopen ("output.txt" , "w" , stdout);
	}
#endif
	//_______________________________-code starts-_______________________________________________

	int n, wt;
	cin >> n >> wt;
	int w[n], v[n];
	zip(i, 0, n)
	{
		cin >> w[i] >> v[i];
	}
	int p = w[0];
	int q = w[0] + 1;
	int r = w[0] + 2;
	int s = w[0] + 3;
	vi v1, v2, v3, v4;

	zip(i, 0, n)
	{
		if (w[i] == p)
		{
			v1.pb(v[i]);
		}
		else if (w[i] == q)
		{
			v2.pb(v[i]);
		}
		else if (w[i] == r)
		{
			v3.pb(v[i]);
		}
		else
		{
			v4.pb(v[i]);
		}
	}
	//cout << sz(v1) << endl;
	sort(rall(v1));
	sort(rall(v2));
	sort(rall(v3));
	sort(rall(v4));
	zip(i, 1, sz(v1))  v1[i] += v1[i - 1];
	zip(i, 1, sz(v2))  v2[i] += v2[i - 1];
	zip(i, 1, sz(v3))  v3[i] += v3[i - 1];
	zip(i, 1, sz(v4))  v4[i] += v4[i - 1];
	zip(i, 0, sz(v1)) a[i + 1] = v1[i];
	zip(i, 0, sz(v2)) b[i + 1] = v2[i];
	zip(i, 0, sz(v3)) c[i + 1] = v3[i];
	zip(i, 0, sz(v4)) d[i + 1] = v4[i];

	debug(v1);
	debug(v2);
	debug(v3);
	debug(v4);

	int ans = 0;
	zip(i, 0, sz(v1) + 1)
	{
		zip(j, 0, sz(v2) + 1)
		{
			zip(k, 0, sz(v3) + 1)
			{
				zip(l, 0, sz(v4) + 1)
				{
					int x = (i) * p + (j) * q + (k) * r + (l) * s;
					if (x <= wt)
					{
						ans = max(ans, a[i] + b[j] + c[k] + d[l]);
					}
				}
			}
		}
	}
	cout << ans << en;



	return 0;
}




Measured memory_bytes: 3568