#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int MAXN=5e5+7;
int n,m;
int a[MAXN],ton[MAXN];
int s[MAXN],tot=0;
int dp[15][MAXN];
void dfs(int x,int sum,int num)
{
	if(num>m) return;
	if(x==n)
	{
		if(num>0) s[++tot]=sum;
		return;
	}
	if(ton[x]>0) dfs(x+1,sum+(1<<x),num+ton[x]);
	dfs(x+1,sum,num);
	return;
}
int main()
{
    
	cin>>n>>m;
	for(int i=1;i<=n;i++) cin>>a[i],ton[a[i]-1]++;
	dfs(0,0,0);
	int lim=(1<<13)-1,ans=-1,aim=0;
    for(int i=0;i<13;i++)
    {
        if(ton[i]>0) aim+=(1<<(i));
    }
	dp[0][0]=1;
    // for(int i=1;i<=tot;i++) cerr<<s[i]<<" "<<aim<<"  asd"<<endl;
	for(int i=1;i<=13;i++)
	{
		for(int j=0;j<=lim;j++)
		{
			for(int k=1;k<=tot;k++)
			{
				if((j|s[k])!=j) continue;
                // if(i==1&&j==3) cerr<<(j|s[k])<<" asd"<<endl;
				if(dp[i-1][j^s[k]]) dp[i][j]=1;
			}
		}
		if(dp[i][aim]) {ans=i;break;}
	}
	cout<<ans;
	return 0;
}
/*
8 6
1 1 1 2 2 2 3 3
*/