# include <bits/stdc++.h>
# define ll long long
# define ld long double
# define pii pair<int, int>
# define fi first
# define se second
using namespace std;

int main() {
	int N;
	ll X;
	scanf("%d %lld", &N, &X);
	
	vector<ll> arr(N), B(N);
	for(int i=0;i<N;i++) {
		scanf("%lld", &arr[i]);
	}
	sort(arr.begin(), arr.end());
	for(int i=0;i<N;i++) {
		B[i] = 5 - (arr[i]%5);
		if(B[i] == 5) B[i] = 0ll;
		arr[i] += B[i];
	}
	
	ll ans = X%5;
	X -= X%5;
	
	int lf = -1;
	ll sum = 0ll, as = 0ll, mx = 0ll;
	for(int i=0;i<N;i++) {
		while(lf + 1 < N && sum + arr[lf + 1] <= X) {
			lf++;
			sum += arr[lf];
			as += B[lf];
			mx = max(mx, as);
		}
		sum -= arr[i];
		as -= B[i];
	}
	
	ans += mx;
	printf("%lld\n", ans);
	return 0;
}