from collections import defaultdict

def readInt():
  return int(input())
def readInts():
  return list(map(int, input().split()))
def readChar():
  return input()
def readChars():
  return input().split()

n = readInt()
a = readInts()
if n==0:
  print(0,0)
  exit()

rate = [0]*9


for i in a:
  rate[min(i//400,8)]+=1

print(max(1,8-rate[:-1].count(0)),end=" ")
print(min(9,(8-rate[:-1].count(0))+rate[-1]))