#include<iostream>
#include<algorithm>
#include<vector>
#include<cassert>
#include<atcoder/modint>
using namespace std;
using mint=atcoder::modint998244353;
int N,K;
int C[1000],D[1000];
int maxD[1001];
mint way[1001];
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(nullptr);
	cin>>N>>K;
	for(int i=0;i<N;i++)cin>>C[i];
	for(int i=0;i<N;i++)cin>>D[i];
	for(int i=1;i<=K;i++)maxD[i]=-1;
	way[0]=mint::raw(1);
	for(int i=0;i<K;i++)
	{
		for(int j=0;j<N;j++)if(i+C[j]<=K)
		{
			int ni=i+C[j];
			int nD=maxD[i]+D[j];
			if(maxD[ni]<nD)
			{
				maxD[ni]=nD;
				way[ni]=mint::raw(0);
			}
			if(maxD[ni]==nD)way[ni]+=way[i];
		}
	}
	int mD=0;
	mint ans=0;
	for(int i=0;i<=K;i++)
	{
		if(maxD[i]>mD)
		{
			mD=maxD[i];
			ans=0;
		}
		if(maxD[i]==mD)ans+=way[i];
	}
	cout<<mD<<endl;
	cout<<ans.val()<<endl;
}