#include <bits/stdc++.h>
using namespace std;

using int64 = long long;
using uint64 = unsigned long long;

constexpr int MAX_CAP = 100000;

int table[MAX_CAP + 10];

int main()
{
    cin.tie(nullptr);
    ios::sync_with_stdio(false);

    int N;
    cin >> N;

    memset(table, -1, sizeof(table));
    table[0] = 0;

    int wsum = 0;
    for (int i = 0; i < N; i++)
    {
        int v, w;
        cin >> v >> w;

        wsum += w;

        for (int cap = MAX_CAP; cap > 0; cap--)
        {
            if (cap - w >= 0 and table[cap - w] >= 0)
            {
                table[cap] = max(table[cap], table[cap - w] + v);
            }
        }
    }

    for (int cap = 0; cap <= wsum; cap++)
    {
        table[cap + 1] = max(table[cap + 1], table[cap]);
    }

    int V;
    cin >> V;

    int capMin = wsum, capMax = 0;
    for (int cap = 1; cap <= wsum; cap++)
    {
        if (table[cap] == V)
        {
            capMin = min(capMin, cap);
            capMax = max(capMax, cap);
        }
    }

    cout << capMin << endl;
    cout << (capMax == wsum ? "inf" : to_string(capMax)) << endl;

    return 0;
}