#include <bits/stdc++.h>
using namespace std;

int main() {

  int n, k, a;
  scanf("%d %d", &n, &k);

  vector<int> v(n, INT_MAX);

  for(int i = 0; i < n; i++) {
    scanf("%d", &a);
    if(v[--a] == INT_MAX) v[a] = i;
  }

  sort(v.begin(), v.end());

  long long w = 0;

  for(int i = 0; i < k; i++) {
    if(v[i] == INT_MAX) {
      printf("-1");
      return 0;
    }
    w += v[i] - i;
  }

  printf("%lld", w);

}