논리학 교수

논리학 교수 양항승은 칠판에 N개의 문장을 썼다. 각 문장은 다음과 같은 형태이다.

• 정확히 x개의 문장이 참이다.

정수 x는 문장마다 다를 수 있다. 입력으로는 각 문장에 적힌 정수 x가 차례대로 주어진다.

칠판에 적힌 N개의 문장이 모두 주어졌을 때, 그중 실제로 참인 문장이 몇 개인지 구하자.

첫째 줄에 양항승이 쓴 문장의 개수 N이 주어진다. N은 1 이상 50 이하인 자연수이다.

둘째 줄에 각 문장에 적힌 정수 N개가 주어진다. 이 정수들은 0 이상 50 이하이다.

첫째 줄에 칠판에 적힌 문장 중 참인 문장의 개수를 출력한다.

문장들이 서로 모순된다면 -1을 출력한다. 가능한 답이 여러 가지라면 그중 가장 큰 값을 출력한다.