乐团派对
时间限制:C/C++/Rust/Pascal 1秒,其他语言2秒
空间限制:C/C++/Rust/Pascal 256 M,其他语言512 M
64bit IO Format: %lld

题目描述

音乐是带给大家快乐的存在,而你的目标就是组建若干支乐队,让世界听到你们的演奏!

你目前有位乐手,每位乐手只能进入一个乐队,但并不是每位乐手都能担大任,因此需要团队合作。第位乐手的能力值为,表示该位乐手所在乐队的人数必须大于等于。在保证每位乐手都被分进一个乐队的情况下,乐队数量最多可以是多少?


输入描述:

第一行一个正整数,表示乐手人数,

第二行个正整数,表示每位乐手的能力值,

输出描述:

输出最多的乐队数量。若无法保证每位乐手都被分进一个乐队,则输出-1。

示例1

输入

复制
4
2 1 2 1

输出

复制
3