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

int main(){
    cin.tie(0);
    ios::sync_with_stdio(0);
    
    int N; cin >> N;
    int SUM_W = 1000 * 100;
    vector<int> dp(SUM_W + 2, 0);
    rep(_,N) {
        int v,w; cin >> v >> w;
        vector<int> nt = dp;
        for(int i = 0; i <= SUM_W + 1; i++)
            if(i + w <= SUM_W + 1) nt[i + w] = max(nt[i + w], dp[i] + v);
        swap(dp, nt);
    }

    int V; cin >> V;
    int mi = 1e9, ma = -1e9;
    for(int w = 1; w <= SUM_W + 1; w++) if(dp[w] == V) {
        mi = min(mi, w);
        ma = max(ma, w);
    }

    cout << mi << endl;
    if(ma == SUM_W + 1) {
        cout << "inf" << endl;
    } else {
        cout << ma << endl;
    }
}