#include <map>
#include <set>
#include <queue>
#include <deque>
#include <cmath>
#include <vector>
#include <cstring>
#include <iostream>
#include <algorithm>
#include <unordered_map>
using namespace std;
#define fi first
#define se second
#define u1 (u<<1)
#define u2 (u<<1|1)
#define pb emplace_back
#define pp pop_back()
#define int long long
#define laile cout<<"laile"<<endl
#define lowbit(x) ((x)&(-x))
#define double long double
#define sf(x) scanf("%lld",&x)
#define sff(x,y) scanf("%lld %lld",&x,&y)
#define sd(x) scanf("%Lf",&x)
#define sdd(x,y) scanf("%Lf %Lf",&x,&y)
#define _for(i,n) for(int i=0;i<(n);++i)
#define _rep(i,a,b) for(int i=(a);i<=(b);++i)
#define _pre(i,a,b) for(int i=(a);i>=(b);--i)
#define all(x) (x).begin(), (x).end()
#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0)
typedef unsigned long long ULL;
typedef pair<int,int>PII;
typedef pair<double,double>PDD;
const int N=1e6+10,INF=4e18;
int n,w;
int f[1<<14];
int cnt[13];
void solve()
{
	cin>>n>>w;
	_rep(i,1,n)
	{
		int x;
		cin>>x;
		cnt[x-1]++;//cnt存出现次数
	}
	memset(f,0x3f,sizeof(f));
	f[0]=0;
	for(int i=0;i<1<<13;i++)
	{
		int now=0;
		for(int j=0;j<13;j++)
		{
			if(i>>j&1)
				now+=cnt[j];
		}
		if(now<=w)
			f[i]=1;
	}
	for(int i=0;i<1<<13;i++)
		for(int j=0;j<1<<13;j++)
			if((i^j)==(i|j))f[i|j]=min(f[i]+f[j],f[i|j]);
	cout<<f[(1<<13)-1]<<'\n';
	return ;
}
signed main()
{
	IOS;
	int T=1;
//    cin>>T;
	while(T--)
		solve();
	return 0;
}