// Author:  panzy    	
#include <bits/stdc++.h>
using namespace std;
using i64 = long long;

int main(){
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cout << fixed << setprecision(15);
	int n,w;
	cin >> n >> w;
	map<int,int>mp;
	for(int i = 1; i <= n; i ++){
		int x;cin >> x;
		mp[x] ++;
	}
	int m = mp.size();
	// cout << m << " " << mp.size() << '\n';
	vector<int>p;
	vector<vector<int>>dp(1e5,vector<int>(15));
	for(int i = 1; i <= (1<<mp.size())-1; i ++){
		bitset<14>b(i);
		int k = 0;
		for(int j = 1; j <= 13; j ++){
			if(b[j-1]) k += mp[j];
		}
		// cout << b << " " << k << '\n';
		if(k <= w)	p.emplace_back(i),dp[i][1]=1;
	}
	for(int i = 2; i <= m; i ++){
		for(int j = 1; j <= (1<<mp.size())-1; j ++){
			if(!dp[j][i-1])	continue;
			for(auto k : p){
				dp[j|k][i] = 1;
			}
		}
	}

	for(int i = 1; i <= 13; i ++){
		if(dp[(1<<mp.size())-1][i])return cout << i << '\n',0;
	}
	return 0;
}