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

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

constexpr int MAX_CAP = 100000;

int table[110][MAX_CAP + 10];

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

    int N;
    cin >> N;

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

        wsum += w;

        for (int cap = 0; cap <= MAX_CAP; cap++)
        {
            table[i + 1][cap] = max(cap > 0 ? table[i + 1][cap - 1] : 0, table[i][cap]);
            if (cap - w >= 0)
            {
                table[i + 1][cap] = max(table[i + 1][cap], table[i][cap - w] + v);
            }
        }
    }

    int V;
    cin >> V;

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

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

    return 0;
}