#include<bits/stdc++.h>
using namespace std;
int n,x,win[1001];
long long lose[1001],san=0;
long double use[1001],k[1001];
int main(){
cin>>n>>x;
for(int i=1;i<=n;i++)
{
	cin>>lose[i]>>win[i]>>use[i];
	k[i]=win[i]/use[i];
}
for(int i=1;i<=n-1;i++) 
for(int j=1;j<=n-1;j++) 
{
	if(k[i]<k[i+1])
	{
		swap(lose[i],lose[i+1]);
		swap(win[i],win[i+1]);
		swap(use[i],use[i+1]);
		swap(k[i],k[i+1]);
	}
}
for(int i=1;i<=n;i++) 
{
	if(x-use[i]>=0)
	{
		x=x-use[i];
		san=san+win[i];
	}
	else
	san=san+lose[i];
}cout<<san*5;
	return 0;
}