/*
5 及以上的面额没用。
有 c1 个 1 元和 c5 个 5 元。
每次可以花任意硬币买一件商品，设需要找 x 元则会找 x/5 个 5 元与 x%5 个 1 元硬币。
要使最后 1 元硬币尽量多。

若付的钱已足够，则多付 1 元与 5 元都是不优的。
用纯 1 元买东西肯定不优。
对于一件价格为 x 的商品，若 c5 >= ceil(x/5)，
	则可以花这么多 5 元换取 (-x)%5 个 1 元。
若 5 元不够，则额外花 1 元肯定也不优。
也就是说，只会花 5 元硬币来换 1 元。

在只花 5 元的情况下，一定单买物品吗？
两个物品 x、y。
	若 x%5+y%5 > 5，则不会减少需要的 5 元数量。没有用。
	否则，不如只买 x。

相当于，有一些商品，每个有价格，以及 0~4 的价值。你有 c5 的钱，求可以买到多少价值。
交换两维。设 f[i][x] 表示考虑价值小于等于 i 的物品，获得 x 的价值需要花费多少钱。
价值相同的物品肯定按价格从小到大选。对相同的余数有决策单调性？
*/
#include<bits/stdc++.h>
using namespace std;
#define int long long
const int inf=0x1f1f1f1f1f1f1f1f;
int n,c,c1,c5;
int f[2][410000];
vector<int> v[5];
void devideConquer(int i,int r,int ql,int qr,int al,int ar)
{
	// cout<<"DevideConquer q=["<<ql<<","<<qr<<"] a=["<<al<<","<<ar<<"]"<<endl;
	if(ql>qr)
		return;
	int qm=((ql/i+qr/i)/2)*i+r;
	// cout<<"qm="<<qm<<endl;
	int pos=-1;
	for(int x=max<int>(al,qm-i*(v[i].size()-1));x<=min<int>(qm,ar);x+=i)
	{
		if(pos==-1||f[0][x]+v[i][(qm-x)/i]<=f[0][pos]+v[i][(qm-pos)/i])
			pos=x;
	}
	assert(pos!=-1);
	f[1][qm]=f[0][pos]+v[i][(qm-pos)/i];
	devideConquer(i,r,ql,qm-i,al,pos);
	devideConquer(i,r,qm+i,qr,pos,ar);
}
signed main()
{
	cin>>n>>c;
	c5=c/5,c1=c%5;
	for(int i=0;i<=4;i++)
		v[i]=vector<int>({0});
	for(int i=1;i<=n;i++)
	{
		int x;
		cin>>x;
		int x5=(x+4)/5,x1=((-x)%5+5)%5;
		v[x1].push_back(x5);
	}
	for(int i=0;i<=4;i++)
		partial_sum(v[i].begin(),v[i].end(),v[i].begin());
	memset(f[1],0x1f,sizeof(f[1]));
	f[1][0]=0;
	for(int i=1;i<=4;i++)
	{
		if(v[i].size()==0)
			continue;
		// cout<<"i="<<i<<endl;
		memcpy(f[0],f[1],sizeof(f[0]));
		memset(f[1],0x1f,sizeof(f[1]));
		for(int r=0;r<i;r++)
			devideConquer(i,r,r,((4*n-r)/i)*i+r,r,((4*n-r)/i)*i+r);
		// for(int x=4*n;x>=0;x--)
		// 	f[1][x]=min<int>(f[1][x],f[1][x+1]);
		// for(int x=0;x<=4*n;x++)
		// 	cout<<"f "<<i<<" x="<<x<<" = "<<f[1][x]<<endl;
	}
	int ans=0;
	for(int x=0;x<=4*n;x++)
	{
		// cout<<"f "<<x<<" = "<<f[1][x]<<endl;
		if(f[1][x]<=c5)
			ans=x;
	}
	cout<<ans+c1<<endl;
}