FJ很喜欢看射箭比赛，看着运动员们一个个精湛的技艺，令他头晕目眩膜拜不已。
而且他喜欢给那些射箭选手打分，他想如果一位选手能在尽量短的时间段内射出所有可能的环数，那么他的得分就是那段最短时间的长度。
现在，FJ告诉你其中一位选手共射出了n支箭，当然他每个单位时间射出一只箭。
FJ还会告诉你他射出的每支箭的环数。而且环数总共的可能性有m种，环数分别为1~m，请你帮他算过这位选手在他心目中的分数。
输入共两行
第一行两个数n，m。
第二行一共n个数表示那位选手每一箭的环数。
输出只有一个数，表示这位选手的得分。
如果这位运动员无法在这n箭中射出所有的环数，则输出-1。
输入：
12 5 2 5 3 1 3 2 4 1 1 5 4 3
输出：
6
样例解释
这位选手从第2支箭到第7支箭射出了所有可能的环数，因此他的得分是6。
30%数据：n<=1000，m<=20
100%数据：n<=1000000，m<=2000