#include<bits/stdc++.h>
using namespace std;
 
#define debug(x) cerr << #x << ": " << (x) << endl
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define dwn(i,a,b) for(int i=(a);i>=(b);i--)
#define pb push_back
#define all(x) (x).begin(), (x).end()
 
#define x first
#define y second
#define int long long
using pii = pair<int, int>;
using ll = long long;
 
inline void read(int &x){
    int s=0; x=1;
    char ch=getchar();
    while(ch<'0' || ch>'9') {if(ch=='-')x=-1;ch=getchar();}
    while(ch>='0' && ch<='9') s=(s<<3)+(s<<1)+ch-'0',ch=getchar();
    x*=s;
}

set<int> f[1010];
int n, T;
int w[1010];
int g[1010][1010];

bool gt(pii a, pii b){
	__int128 fir=(__int128)a.x*b.y;
	__int128 sec=(__int128)a.y*b.x;
	
	return fir>sec;
}

bool eq(pii a, pii b){
	__int128 fir=(__int128)a.x*b.y;
	__int128 sec=(__int128)a.y*b.x;
	return fir==sec;
}

signed main(){
	cin>>n>>T;
	rep(i, 1, n) read(w[i]);
	
	// memset(f, 0xcf, sizeof f);
	f[0].insert(0);
	rep(i, 1, n){
		dwn(j, 200, w[i]){
			if(f[j-w[i]].size()){
				for(auto e: f[j-w[i]]){
					f[j].insert(e+1);
				}
			}
		}
		// f[j]=max(f[j], f[j-w[i]]+1);
	}
	
	int res=n+10;
	pii p={0, 1};
	rep(s, 0, T){
		for(auto fs: f[s]){
			// debug(f[s]);
			int t=T-s;
			int r=n-fs;
			if(r<=n){
				// r 个，并且 roll 出 t 的方案数 x
				memset(g, 0, sizeof g);
				g[0][0]=1;
				rep(i, 1, r){
					rep(j, 1, 6){
						rep(k, j, t){
							g[i][k]+=g[i-1][k-j];
						}
					}
				}
				
				int x=g[r][t];
				int y=1;
				rep(i, 1, r) y*=6;
				// cerr<<r<<" "<<y<<endl;
				
				// if(r==12) debug(t);
				
				pii np={x, y};
				if(gt(np, p)){
					res=r;
					p=np;
				}
				else if(eq(np, p)){
					res=min(res, r);
				}
				
				// debug(t),debug(r);
				// cerr<<p.x<<" "<<p.y<<endl;
				// if(r==12) cerr<<p.x<<" "<<p.y<<endl;
				// if(r==12) cerr<<np.x<<" "<<np.y<<endl;
			}
		}
	}
	cout<<res;
	
	return 0;
}