N = gets.to_i
V, W = [], []
N.times do |i|
  v, w = gets.split.map &:to_i
  V << v
  W << w
end
VALUE = gets.to_i

dp = [-1.to_i] * (1e5.to_i + 1)
dp[0] = 0
N.times do |i|
  1e5.to_i.downto(0) do |j|
    next if dp[i][j] == -1
    dp[j + W[i]] = [dp[j + W[i]], dp[j] + V[i]].max if j + W[i] <= 1e5.to_i
  end
end
_ = 0
(1e5 + 1).to_i.times do |i|
  _ = [_, dp[i]].max
  dp[i] = [dp[i], _].max
end

puts [dp.find_index(VALUE), 1].max
puts VALUE == V.inject(:+) ? "inf" : dp[0..1e5.to_i].take_while { |x| x <= VALUE }.size - 1