#include //#include using namespace std; //using namespace atcoder; #define all(v) v.begin(),v.end() using ll = long long; using ull = unsigned long long; using lll = __int128; using vll=vector; using vvll = vector>; using P = pair; using vp=vector>; //using mint=modint1000000007; //using mint=modint998244353; const ll INF=1ll<<60; ll mod10=1e9+7; ll mod99=998244353; const double PI = acos(-1); #define rep(i,n) for (ll i=0;i=0;--i) #define rep2(i,a,n) for (ll i=a;i=n;--i) templatebool chmax(T &a, const T &b) { if (abool chmin(T &a, const T &b) { if (b>N>>M; vll C(N),D(N);rep(i,N) cin>>C[i]>>D[i]; vll ind(N);rep(i,N) ind[i]=i; auto comp = [&](ll i,ll j){ return C[i]>C[j]; }; sort(all(ind),comp); vvll dp(M+2,vll(16,(ll)-INF)); dp[0][0]=0; rep(i2,N){ vvll dp2(M+2,vll(16,-INF)); rep(j,M+1) rep(k,14){ ll i=ind[i2]; ll c=C[i]*(1ll<>T; rep(i,T) solve(); }