#include <bits/stdc++.h>
#include <atcoder/all>
using namespace std;
using ll = long long;
#define rep(i,n) for(int i=0;i<(int)(n);i++)
using mint = atcoder::modint998244353;

int main(){
	int n,k;
	cin>>n>>k;
	vector<int> c(n),d(n);
	rep(i,n) cin>>c.at(i);
	rep(i,n) cin>>d.at(i);
	vector<int> dp(k+1,-1);
	vector<mint> dpm(k+1,0);
	dp.at(0)=0;
	dpm.at(0)=1;
	rep(j,k){
		if(dp.at(j)<0) continue;
		rep(i,n){
			if(j+c.at(i)>k) continue;
			if(dp.at(j+c.at(i))==dp.at(j)+d.at(i)){
				dpm.at(j+c.at(i))+=dpm.at(j);
			}else if(dp.at(j+c.at(i))<dp.at(j)+d.at(i)){
				dp.at(j+c.at(i))=dp.at(j)+d.at(i);
				dpm.at(j+c.at(i))=dpm.at(j);
			}
		}
	}
	int mx=0;
	rep(i,k+1) mx=max(mx,dp.at(i));
	mint ans=0;
	rep(i,k+1) if(dp.at(i)==mx) ans+=dpm.at(i);
	cout<<mx<<"\n"<<ans.val()<<"\n";
}