#include using namespace std; #define rep(i,a,b) for(int i=a;i> N >> K; rep(i, 0, N) scanf("%d", &D[i]), D[i]--; cout << sol() << endl; }