#include #include #include #include #include #include #include #include #include #include #include #include #include #include // std::stringstream #include #include using namespace atcoder; using mint = modint998244353; //using mint = modint1000000007; using namespace std; using ll = long long; static const double pi = 3.141592653589793; const int INF = (1 << 29); const ll mod = 998244353; // ifstream ifs(""); template void print(T& a){cout<> n >> k; vector a(n); for(int i=0;i> a[i]; sort(a.begin(),a.end()); int used = 0; int i; for(i=0;i