#include using namespace std; #if __has_include() #include using namespace atcoder; templateistream &operator>>(istream &is,static_modint &a){long long b;is>>b;a=b;return is;} istream &operator>>(istream &is,modint &a){long long b;cin>>b;a=b;return is;} #endif using ll=long long; using ull=unsigned long long; using P=pair; templateusing minque=priority_queue,greater>; templatebool chmax(T &a,const T &b){return (abool chmin(T &a,const T &b){return (a>b?(a=b,true):false);} templateistream &operator>>(istream &is,pair&p){is>>p.first>>p.second;return is;} templateistream &operator>>(istream &is,vector &a){for(auto &i:a)is>>i;return is;} templatevoid operator++(pair&a,int n){a.first++,a.second++;} templatevoid operator--(pair&a,int n){a.first--,a.second--;} templatevoid operator++(vector&a,int n){for(auto &i:a)i++;} templatevoid operator--(vector&a,int n){for(auto &i:a)i--;} #define reps(i,a,n) for(int i=(a);i<(n);i++) #define rep(i,n) reps(i,0,n) #define all(x) x.begin(),x.end() #define pcnt(x) __builtin_popcount(x) ll myceil(ll a,ll b){return (a+b-1)/b;} #ifdef LOCAL #include "debug.h" #else #define debug(...) static_cast(0) templateostream &operator<<(ostream &os,const pair&p){os<>testcase; for(int i=0;i>n>>k; vectorc(n),d(n); cin>>c>>d; vectordp(k+1,0); reps(i,1,k+1){ rep(j,n){ if(i-c[j]>=0)chmax(dp[i],dp[i-c[j]]+d[j]); } } int mx=0; rep(i,k+1)chmax(mx,dp[i]); vector>ep(k+1,vector(mx+1,0)); ep[0][0]=1; reps(i,1,k+1){ rep(j,mx+1){ rep(l,n){ if(i-c[l]>=0&&j-d[l]>=0)ep[i][j]+=ep[i-c[l]][j-d[l]]; } } } if(mx==0)cout<<"0 1\n"; else cout<