#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
#define pb push_back
#define pii pair<int,int>
#define fs first
#define sc second
const int N=5.1e4;
int a[N],c[22];
int dp[16][11111],pickup[11111];
int main(){
    int n,w;
    scanf("%d%d",&n,&w);
    for(int i=1;i<=n;i++)scanf("%d",a+i),c[a[i]-1]++;
    for(int s=0;s<(1<<13);s++){
        int cnt=0;
        for(int b=0;b<13;b++)if((1<<b)&s){
            cnt+=c[b];
        }
        if(cnt<=w)pickup[s]=1;
    }
    dp[0][(1<<13)-1]=1;
    for(int i=1;i<=13;i++){
        for(int s=0;s<(1<<13);s++)if(dp[i-1][s]){
            dp[i][s]=1;//?
            for(int t=s;t!=0;t=(t-1)&s)if(pickup[t]){
                dp[i][s-t]=1;
            }
        }
        if(dp[i][0])return cout<<i<<"\n",0;
    }
    return 0;
}