#include <bits/stdc++.h>

using namespace std;

#define int long long
#define all(v) (v).begin(), (v).end()
#define resz(v, ...) (v).clear(), (v).resize(__VA_ARGS__)
#define reps(i, m, n) for(int i = (int)(m); i < (int)(n); i++)
#define rep(i, n) reps(i, 0, n)

template<class T1, class T2> void chmin(T1 &a, T2 b){if(a>b)a=b;}
template<class T1, class T2> void chmax(T1 &a, T2 b){if(a<b)a=b;}

typedef pair<int, int> Pi;
typedef tuple<int, int, int> Ti;
typedef vector<int> vint;

const int inf = 1LL << 55;
const int mod = 1e9 + 7;

int dp[100100];

signed main()
{
  cin.tie(0);
  ios_base::sync_with_stdio(0);
  cout << fixed << setprecision(12);

  int N, V;
  cin >> N;
  vint v(N), w(N);
  rep(i, N) cin >> v[i] >> w[i];
  cin >> V;
  dp[100001] = V;
  rep(i, N) {
    for(int j = 100000; j >= w[i]; j--) {
      chmax(dp[j], dp[j-w[i]]+v[i]);
    }
  }
  int mn = 1;
  while(dp[mn] != V) mn++;
  int mx = mn;
  while(dp[mx+1] == dp[mn]) mx++;

  if(mn == 100001) {
    cout << 1 << endl << *min_element(all(w))-1 << endl;
  } else if(mx == 100001) {
    cout << mn << endl << "inf" << endl;
  } else {
    cout << mn << endl << mx << endl;
  }

  return 0;
}