#include <bits/stdc++.h>
using namespace std;
int cnt,ans,n,w;
int a[20];
bool vis[20];
int dp[1<<14];
int sum[1<<14];
int main(){
	scanf("%d%d",&n,&w);
	for (int i=1;i<=n;++i) {
		int t;scanf("%d",&t);
		a[t]++;
	}
	for (int i=1;i<=13;++i){
		if (a[i]>w) {
			puts("Victor Dictionary.");
			return 0;
		};
	}
	dp[0]=0;
    int all=1<<13;
    fill(dp+1,dp+1+all,0x3fffffff);
    for(int i=1;i<all;i++)
    {
        for(int j=0;j<13;j++)
        {
            if((i>>j)&1) sum[i]+=a[j+1];
        }
    }
    for(int i=1;i<all;i++)
    {
        for(int s=i;s>=0;s=(s-1)&i)
        {
            if(s==i) continue;
            int dle=i^s;
            if(sum[dle]<=w&&sum[dle])
            {
                dp[i]=min(dp[i], dp[s]+1);
            }
            if(!s) break;
        }
    }
    cout<<dp[all-1];
    return 0;
}
/*
5 4 
1 2 1 2 1
*/