import sequtils,strutils,algorithm

let N = readline(stdin).parseInt
type
    item = tuple[value : int, weight : int]
var
    nimotu : item
    weights = newSeqWith(1,0)
    A : array[1_000_000,int]
    w2 : seq[int]
for n in 0..<N:
    let L = readline(stdin).split.map(parseInt)
    nimotu = (value : L[0],weight : L[1])
    w2 = @[]
    for w in reversed(weights):
        if A[nimotu.weight + w] == 0:
            w2.add(nimotu.weight + w)
            A[nimotu.weight + w] = nimotu.value + A[w]
        elif A[nimotu.weight + w] < nimotu.value + A[w]:
            A[nimotu.weight + w] = nimotu.value + A[w]
    for wadd in w2:
        weights.insert(wadd,weights.lowerBound(wadd))
let V = readline(stdin).parseInt
var l,r : int
for i,num in A:
    if l == 0 and num == V:
        l = i
    if num > V:
        r = i - 1
        break
echo l
if r > 0:
    echo r
else:
    echo "inf"