gets

ok_sum = 0
ng_sum = 0
while line = gets do
  t, s = line.split
  ok = [s.length, 12 * t.to_i / 1000].min
  ng = s.length - ok
  ok_sum += ok
  ng_sum += ng
end

puts "#{ok_sum} #{ng_sum}"