#include <cstdio>
#include <algorithm>
#define LL long long
using namespace std;
LL n,X,a[100100],cnt[5],ret[5][100100],fin[5];
LL sum[5][100100];
struct Node{
    LL val;
    int id;
    bool operator <(const Node &A) const{
        if (A.val!=val) return val<A.val;
        return id>A.id;
    }
}all[100100];
int num;
void glue(){
    for(int i=1;i+11<=cnt[1];i+=12){
        LL now=0;
        for(int j=0;j<=11;j++) now+=ret[1][i+j];
        all[++num].val=now;
        all[num].id=1;
    }

    for(int i=1;i+5<=cnt[2];i+=6){
        LL now=0;
        for(int j=0;j<=5;j++) now+=ret[2][i+j];
        all[++num].val=now;
        all[num].id=2;
    }
    for(int i=1;i+3<=cnt[3];i+=4){
        LL now=0;
        for(int j=0;j<=3;j++) now+=ret[3][i+j];
        all[++num].val=now;
        all[num].id=3;
    }
    for(int i=1;i+2<=cnt[4];i+=3){
        LL now=0;
        for(int j=0;j<=2;j++) now+=ret[4][i+j];
        all[++num].val=now;
        all[num].id=4;
    }
}
LL judge(LL W,LL V){
    LL mx=W;
    V-=(sum[1][fin[1]]+sum[2][fin[2]]+sum[3][fin[3]]+sum[4][fin[4]]);
    LL newV,newW;
    for(int l1=fin[1];l1<=min(cnt[1],fin[1]+11);l1++)
    for(int l2=fin[2];l2<=min(cnt[2],fin[2]+5);l2++)
    for(int l3=fin[3];l3<=min(cnt[3],fin[3]+3);l3++)
    for(int l4=fin[4];l4<=min(cnt[4],fin[4]+2);l4++){
        newV=V;
        newV+=sum[1][l1]+sum[2][l2]+sum[3][l3]+sum[4][l4];
        if (newV<=X){
            mx=max(mx,W+l1-fin[1]+2*(l2-fin[2])+3*(l3-fin[3])+4*(l4-fin[4]));
        }
    }
    return mx;
}
int main()
{
    scanf("%lld%lld",&n,&X);
    for(int i=1;i<=n;i++){
        scanf("%lld",&a[i]);
        LL p=(5-a[i]%5)%5;
        cnt[p]++;
        ret[p][cnt[p]]=a[i]+p;
    }
    for(int i=1;i<=4;i++) sort(ret[i]+1,ret[i]+cnt[i]+1);
    LL ans=X%5;
    X-=ans;
    glue();
    for(int i=1;i<=4;i++){
        for(int j=1;j<=cnt[i];j++) sum[i][j]=sum[i][j-1]+ret[i][j];
    }
    LL nowW=ans,nowV=0;
    ans=max(ans,judge(nowW,nowV));
    for(int i=1;i<=num;i++){
        nowW+=12; nowV+=all[i].val;
        fin[all[i].id]+=12/all[i].id;
        if (nowV>X) break;
        ans=max(ans,judge(nowW,nowV));
    }
    printf("%lld",ans);
    return 0;
}