#include<bits/stdc++.h>
using namespace std;
long long x,n;
long long lose,win,use;
long long dp[1001][1001];
int main(){
	ios::sync_with_stdio(0);
	cin>>n>>x;
	for(int i=1;i<=n;i++){
		cin>>lose>>win>>use;
		for(int j=x;j>=use;j--){
			dp[i][j]=max(dp[i-1][j]+lose*5,dp[i-1][j-use]+win*5);
		}
	}
	cout<<dp[n][x];
	return 0;
}

真找不出问题了