#include <algorithm>
#include <iostream>
#include <vector>

using namespace std;
vector<int> vec;
vector<int> vec2;
vector<int> vecS;
vector<pair <int, int> > vecP;
vector<int> vecK;

int n{0};
int k{0};
int a{0};
int b{0};
int sum{0};
int sum2{0};
int wyn{0};

int main() {
    cin>>n;
    cin>>k;
    for(int i=0;i<n;i++) {
        cin >> a;
        vec.push_back(a);
    }
    b=*max_element(vec.begin(),vec.end());

    for(int i=0;i<=b;i++) {
        vec2.push_back(0);
    }
    for(int i=0;i<vec.size();i++){
        vec2[vec[i]]+=1;
    }
    for(int i=0;i<vec2.size();i++){
        if(vec2[i]!=0){
            sum+=1;
        }
    }

    if(sum<k){
        cout<<-1;
    }
    else{
        if(n==k){
            cout<<0;
        }
        if(n!=k){
            for(int i=0;i<=b;i++){
                vecS.push_back(0);
            }
            for(int i=0;i<vec.size();i++){
                vecP.push_back(make_pair(i,vec[i]));
            }
            for(int i=0;i<vecP.size();i++){
                if(vecS[vecP[i].second]==0) {
                    vecS[vecP[i].second] = 1;
                }
                else{
                    vecP[i].second=0;
                }
            }
            for(int i=0;i<vecP.size();i++){
                vecK.push_back(vecP[i].second);
            }
            for(int i=1;i<k;i++){
                for(int j=0;j<vecK.size()-1;j++){
                    if(vecK[i+j]==0){
                        sum2+=1;
                    }
                    if(vecK[i+j]!=0){
                        vecK[i]=vecK[i+j];
                        vecK[i+j]=0;
                        wyn+=sum2;
                        sum2=0;
                        break;
                    }
                }
            }
            cout<<wyn;
            cout<<'\n';
        }
    }
    return 0;
}