using System; using System.Collections.Generic; using System.Linq; using System.IO; using System.Globalization; using System.Diagnostics; using static System.Console; using Pair = System.Collections.Generic.KeyValuePair; //using System.Numerics; class Program { static void Main() { //SetOut(new StreamWriter(OpenStandardOutput()) { AutoFlush = false }); new Program().Solve(); Out.Flush(); } Scanner cin = new Scanner(); Random rnd = new Random(); Stopwatch sw = new Stopwatch(); readonly int[] dd = { 0, 1, 0, -1, 0 }; readonly int mod = 1000000007; readonly string alfa = "abcdefghijklmnopqrstuvwxyz"; int MAX = 100000; void Solve() { int N = cin.Nextint; var V = new int[N]; var W = new int[N]; for (int i = 0; i < N; i++) { V[i] = cin.Nextint; W[i] = cin.Nextint; } int M = cin.Nextint; var dp = new int[MAX + 1]; for (int i = 0; i < N; i++) { for (int j = MAX; j >= 0; j--) { if (j - W[i] < 0) continue; dp[j] = Math.Max(dp[j], dp[j - W[i]] + V[i]); } } int min=-1, max=-1; for (int i = 1; i <= MAX; i++) { if(min == -1 && dp[i] == M) { min = i; } else if (min != -1 && dp[i] != M) { max = i - 1; break; } } WriteLine(min); if (max == -1) WriteLine("inf"); else WriteLine(max); } } class Scanner { string[] s; int i; char[] cs = new char[] { ' ' }; public Scanner() { s = new string[0]; i = 0; } public string[] Scan { get { return ReadLine().Split(); } } public int[] Scanint { get { return Array.ConvertAll(Scan, int.Parse); } } public long[] Scanlong { get { return Array.ConvertAll(Scan, long.Parse); } } public double[] Scandouble { get { return Array.ConvertAll(Scan, double.Parse); } } public string Next { get { if (i < s.Length) return s[i++]; string st = ReadLine(); while (st == "") st = ReadLine(); s = st.Split(cs, StringSplitOptions.RemoveEmptyEntries); i = 0; return Next; } } public int Nextint { get { return int.Parse(Next); } } public long Nextlong { get { return long.Parse(Next); } } public double Nextdouble { get { return double.Parse(Next); } } }