#include <cstring>
#include <iostream>
#include <cstdio>
#include <algorithm>
#include <queue>
#include <ctime>
#include <cstdlib>
#include <set> 
#include <cassert>
#include <string>
#include <map>
#include <unordered_map>
#include <random>
#include <string>
#include <vector>
using namespace std;

#define ll long long
#define llu unsigned long long
#define mem(a, b) memset(a, b, sizeof(a))
#define el printf("\n")
#define pii pair<int, int>
#define af assert(0)
#define _(x) cout<<#x<<" = "<<x<<"\n"
#define __(x, y) cout<<#x<<" = "<<x<<", "<<#y<<" = "<<y<<"\n"
#define rep(i, l, r) for(int i = (l); i <= (r); ++i)
#define dep(i, l, r) for(int i = (l); i <= (r); ++i)

#define int long long

const int N = 1e5 + 10;
const int limit[] = {0, 12, 6, 4, 3};
int n;
int cost[N], val[N], m, tot, vis[N], ans;
struct NODE { int x, id; } C[N];
vector<NODE> v[5];
bool operator < (NODE x, NODE y){
    return x.x < y.x;
}
int sta[N];

void dfs(int x, int now, int cot){
    if(cot > m) return;
    if(x > 4){
        int top = 0;
        for(int i = 1; i <= n; ++i){
            if(!vis[C[i].id]){
                sta[++top] = C[i].x;
            }
        }
        int rest = m - cot;
        for(int i = 1; i <= top; ++i){
            if(rest > sta[i]){
                rest -= sta[i];
                now += 12;
            }
            else{
                break;
            }
        }
        ans = max(ans, now);
        return;   
    }
    int maxn = min((ll) v[x].size() - 1, limit[x] - 1);
    for(int i = 0; i <= maxn; ++i){
        vis[v[x][i].id] = 1;
        dfs(x + 1, now + x * i, cot + v[x][i].x);
        vis[v[x][i].id] = 0;
    }
}

signed main(){
    // freopen("1.in", "r", stdin);
    scanf("%lld %lld", &n, &m);
    tot = m % 5; m -= m % 5;
    for(int i = 1; i <= n; ++i){
        int x; scanf("%lld", &x);
        cost[i] = x + (5 - x % 5) % 5;
        val[i] = (5 - x % 5) % 5;
        if(val[i]) C[i] = (NODE) {12 / val[i] * cost[i], i};
    }
    sort(C + 1, C + 1 + n);
    for(int i = 1; i <= 4; ++i){
        v[i].push_back((NODE){0 ,0});
    }
    for(int i = 1; i <= n; ++i){
        if(val[i]){
            v[val[i]].push_back((NODE){cost[i], i});
        }
    }
    for(int i = 1; i <= 4; ++i){
        sort(v[i].begin(), v[i].end());
        for(int j = 1; j < v[i].size(); ++j){
            v[i][j].x = v[i][j - 1].x + v[i][j].x;
        }
    }

    dfs(1, 0, 0);
    printf("%lld\n", ans + tot);

    return 0;
}