#include #ifdef LOCAL #include #else #define debug(...) void(0) #endif #include "atcoder/modint" using namespace std; typedef long long ll; #define all(x) begin(x), end(x) constexpr int INF = (1 << 30) - 1; constexpr long long IINF = (1LL << 60) - 1; constexpr int dx[4] = {1, 0, -1, 0}, dy[4] = {0, 1, 0, -1}; template istream& operator>>(istream& is, vector& v) { for (auto& x : v) is >> x; return is; } template ostream& operator<<(ostream& os, const vector& v) { auto sep = ""; for (const auto& x : v) os << exchange(sep, " ") << x; return os; } template bool chmin(T& x, U&& y) { return y < x and (x = forward(y), true); } template bool chmax(T& x, U&& y) { return x < y and (x = forward(y), true); } template void mkuni(vector& v) { sort(begin(v), end(v)); v.erase(unique(begin(v), end(v)), end(v)); } template int lwb(const vector& v, const T& x) { return lower_bound(begin(v), end(v), x) - begin(v); } using mint = atcoder::modint998244353; const int MAX = 1010; int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int N, K; cin >> N >> K; vector C(N), D(N); cin >> C >> D; vector maxi(K + 1, -INF); vector dp(K + 1, 0); maxi[0] = 0; dp[0] = 1; auto update = [&](int idx, int m, mint x) { if (idx > K) return; if (maxi[idx] < m) { maxi[idx] = m; dp[idx] = x; } else if (maxi[idx] == m) dp[idx] += x; }; for (int i = 0; i <= K; i++) { if (maxi[i] < 0) continue; for (int j = 0; j < N; j++) update(i + C[j], maxi[i] + D[j], dp[i]); } int M = -INF; mint ans = 0; for (int i = 0; i <= K; i++) { if (M < maxi[i]) { M = maxi[i]; ans = dp[i]; } else if (M == maxi[i]) ans += dp[i]; } cout << M << '\n'; cout << ans.val() << '\n'; return 0; }