#include <bits/stdc++.h>
using namespace std;
#include <ext/pb_ds/assoc_container.hpp>
#include <ext/pb_ds/tree_policy.hpp>
using namespace __gnu_pbds;
#define ll long long
#define all(x) x.begin(), x.end()
#define clr(v, d) memset(v, d, sizeof(v))
#define endl "\n"
#define sz(x) (ll)x.size()
#define vl vector<ll>
#define pb push_back
#define MOD ((ll)1e9 + 7)
#define ordered_set tree<ll, null_type, less<ll>, rb_tree_tag, tree_order_statistics_node_update>
#define ordered_set2 tree<ll, null_type, greater<ll>, rb_tree_tag, tree_order_statistics_node_update>
void M7MDAN_FARAG() {
ios_base::sync_with_stdio(false), cin.tie(nullptr), cout.tie(nullptr);
#ifndef ONLINE_JUDGE
freopen("input.txt", "r", stdin), freopen("output.txt", "w", stdout);
#endif
}
const ll N = 1e12 + 5, M = 1e6 + 2, MAXK = 22, INF = 1e18 + 5;
const ll P = 998244353;
// int v[100000005];
void solve() {
int n, k;
cin >> n >> k;
vector<int> a(n);
for (int i = 0; i < n; i++) {
cin >> a[i];
a[i] %= MOD;
}
sort(all(a));
a.erase(unique(all(a)), a.end());
// int v_sz = 0;
vector<bool> v(MOD,0);
for (int x : a) {
ll curr = x;
for (int j = 1; j <= 100; j++) {
curr += P;
if (curr >= MOD)
curr -= MOD;
v[curr] = 1;
}
}
// sort(v, v + v_sz);
// int new_sz = unique(v, v + v_sz) - v;
// ll l = 0, r = N;
ll ans = -1;
// while (l <= r) {
// ll mid = l + (r - l) / 2;
// ll cnt = upper_bound(v, v + new_sz, mid) - v;
// ll rem = (mid + 1) - cnt;
// if (rem >= k) {
// ans = mid;
// r = mid - 1;
// } else {
// l = mid + 1;
// }
// }
for(ll i = 0; i < MOD; i++){
if(!v[i]){
k--;
if(!k){
ans = i;
break;
}
}
}
if(k > 0){
ans = MOD - 1 + k;
}
cout << ans << endl;
}
signed main() {
M7MDAN_FARAG();
ll t = 1;
// cin >> t;
while (t--) {
solve();
}
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CgojaW5jbHVkZSA8ZXh0L3BiX2RzL2Fzc29jX2NvbnRhaW5lci5ocHA+IAojaW5jbHVkZSA8ZXh0L3BiX2RzL3RyZWVfcG9saWN5LmhwcD4gCnVzaW5nIG5hbWVzcGFjZSBfX2dudV9wYmRzOwoKI2RlZmluZSBsbCBsb25nIGxvbmcKI2RlZmluZSBhbGwoeCkgeC5iZWdpbigpLCB4LmVuZCgpCiNkZWZpbmUgY2xyKHYsIGQpIG1lbXNldCh2LCBkLCBzaXplb2YodikpCiNkZWZpbmUgZW5kbCAiXG4iCiNkZWZpbmUgc3ooeCkgKGxsKXguc2l6ZSgpCiNkZWZpbmUgdmwgdmVjdG9yPGxsPgojZGVmaW5lIHBiIHB1c2hfYmFjawojZGVmaW5lIE1PRCAoKGxsKTFlOSArIDcpCgojZGVmaW5lIG9yZGVyZWRfc2V0IHRyZWU8bGwsIG51bGxfdHlwZSwgbGVzczxsbD4sIHJiX3RyZWVfdGFnLCB0cmVlX29yZGVyX3N0YXRpc3RpY3Nfbm9kZV91cGRhdGU+IAojZGVmaW5lIG9yZGVyZWRfc2V0MiB0cmVlPGxsLCBudWxsX3R5cGUsIGdyZWF0ZXI8bGw+LCByYl90cmVlX3RhZywgdHJlZV9vcmRlcl9zdGF0aXN0aWNzX25vZGVfdXBkYXRlPgoKdm9pZCBNN01EQU5fRkFSQUcoKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKGZhbHNlKSwgY2luLnRpZShudWxscHRyKSwgY291dC50aWUobnVsbHB0cik7CiNpZm5kZWYgT05MSU5FX0pVREdFCiAgICBmcmVvcGVuKCJpbnB1dC50eHQiLCAiciIsIHN0ZGluKSwgZnJlb3Blbigib3V0cHV0LnR4dCIsICJ3Iiwgc3Rkb3V0KTsKI2VuZGlmCn0KCmNvbnN0IGxsIE4gPSAxZTEyICsgNSwgTSA9IDFlNiArIDIsIE1BWEsgPSAyMiwgSU5GID0gMWUxOCArIDU7CmNvbnN0IGxsIFAgPSA5OTgyNDQzNTM7CgovLyBpbnQgdlsxMDAwMDAwMDVdOwoKdm9pZCBzb2x2ZSgpIHsKICAgIGludCBuLCBrOwogICAgY2luID4+IG4gPj4gazsKCiAgICB2ZWN0b3I8aW50PiBhKG4pOwogICAgZm9yIChpbnQgaSA9IDA7IGkgPCBuOyBpKyspIHsKICAgICAgICBjaW4gPj4gYVtpXTsgCiAgICAgICAgYVtpXSAlPSBNT0Q7CiAgICB9CgogICAgc29ydChhbGwoYSkpOwogICAgYS5lcmFzZSh1bmlxdWUoYWxsKGEpKSwgYS5lbmQoKSk7CgogICAgLy8gaW50IHZfc3ogPSAwOwogICAgdmVjdG9yPGJvb2w+IHYoTU9ELDApOwoKICAgIGZvciAoaW50IHggOiBhKSB7CiAgICAgICAgbGwgY3VyciA9IHg7CiAgICAgICAgZm9yIChpbnQgaiA9IDE7IGogPD0gMTAwOyBqKyspIHsKICAgICAgICAgICAgY3VyciArPSBQOwogICAgICAgICAgICBpZiAoY3VyciA+PSBNT0QpIAogICAgICAgICAgICAgICAgY3VyciAtPSBNT0Q7CiAgICAgICAgICAgIHZbY3Vycl0gPSAxOwogICAgICAgIH0KICAgIH0KCiAgICAvLyBzb3J0KHYsIHYgKyB2X3N6KTsKICAgIC8vIGludCBuZXdfc3ogPSB1bmlxdWUodiwgdiArIHZfc3opIC0gdjsKCiAgICAvLyBsbCBsID0gMCwgciA9IE47CiAgICBsbCBhbnMgPSAtMTsKCiAgICAvLyB3aGlsZSAobCA8PSByKSB7CiAgICAvLyAgICAgbGwgbWlkID0gbCArIChyIC0gbCkgLyAyOwogICAgICAgIAogICAgLy8gICAgIGxsIGNudCA9IHVwcGVyX2JvdW5kKHYsIHYgKyBuZXdfc3osIG1pZCkgLSB2OwogICAgICAgIAogICAgLy8gICAgIGxsIHJlbSA9IChtaWQgKyAxKSAtIGNudDsKCiAgICAvLyAgICAgaWYgKHJlbSA+PSBrKSB7CiAgICAvLyAgICAgICAgIGFucyA9IG1pZDsKICAgIC8vICAgICAgICAgciA9IG1pZCAtIDE7IAogICAgLy8gICAgIH0gZWxzZSB7CiAgICAvLyAgICAgICAgIGwgPSBtaWQgKyAxOyAKICAgIC8vICAgICB9CiAgICAvLyB9CgogICAgZm9yKGxsIGkgPSAwOyBpIDwgTU9EOyBpKyspewogICAgICAgIGlmKCF2W2ldKXsKICAgICAgICAgICAgay0tOwogICAgICAgICAgICBpZighayl7CiAgICAgICAgICAgICAgICBhbnMgPSBpOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIH0KICAgICAgICB9CiAgICB9CgogICAgaWYoayA+IDApewogICAgICAgIGFucyA9IE1PRCAtIDEgKyBrOwogICAgfQoKICAgIGNvdXQgPDwgYW5zIDw8IGVuZGw7Cn0KCnNpZ25lZCBtYWluKCkgewogICAgTTdNREFOX0ZBUkFHKCk7CiAgICBsbCB0ID0gMTsKICAgIC8vIGNpbiA+PiB0OwogICAgd2hpbGUgKHQtLSkgewogICAgICAgIHNvbHZlKCk7CiAgICB9Cn0=