#ifdef NACHIA
#define _GLIBCXX_DEBUG
#else
#define NDEBUG
#endif
#include <iostream>
#include <string>
#include <vector>
#include <algorithm>
using i64 = long long;
using u64 = unsigned long long;
#define rep(i,n) for(int i=0; i<int(n); i++)
const i64 INF = 1001001001001001001;
template<typename A> void chmin(A& l, const A& r){ if(r < l) l = r; }
template<typename A> void chmax(A& l, const A& r){ if(l < r) l = r; }
#include <atcoder/modint>
using Modint = atcoder::static_modint<998244353>;
using namespace std;

void testcase(){
    i64 N, W; cin >> N >> W;
    i64 Z = 20010;
    vector<pair<i64,Modint>> dpc(Z, {-INF, 0});
    i64 s = 10003;
    dpc[s] = {0,1};
    auto add = [&](pair<i64,Modint>& l, pair<i64,Modint> r, i64 v){
        r.first += v;
        if(l.first < r.first){ l = r; }
        else if(l.first == r.first){ l.second += r.second; }
    };
    i64 minsum = 0;
    rep(i,N){
        i64 v,w; cin >> v >> w;
        if(w < 0){
            for(i64 p=0; p-w<Z; p++) add(dpc[p], dpc[p-w], v);
            minsum += w;
        } else if(w == 0) {
            for(i64 p=0; p<Z; p++) dpc[p].first += v;
        } else {
            for(i64 p=Z-1; p-w>=0; p--) add(dpc[p], dpc[p-w], v);
        }
    }
    if(minsum > W){
        exit(1);
        return;
    }
    pair<i64, Modint> ans = {-INF, 0};
    rep(i,Z) if(i - s <= W) add(ans, dpc[i], 0);
    cout << ans.first << ' ';
    cout << ans.second.val() << endl;
}

int main(){
    ios::sync_with_stdio(false); cin.tie(nullptr);
    testcase();
    return 0;
}