题目描述

FJ 很喜欢看射箭比赛，看着运动员们一个个精湛的技艺，令他头晕目眩膜拜不已。而且他喜欢给那些射箭选手打分，他想如果一位选手能在尽量短的时间段内射出所有可能的环数，那么他的得分就是那段最短时间的长度。

现在，FJ 告诉你其中一位选手共射出了 $n$ 支箭，当然他每个单位时间射出一只箭。FJ 还会告诉你他射出的每支箭的环数。而且环数总共的可能性有 $m$ 种，环数分别为 $1$ 到 $m$，请你帮他算过这位选手在他心目中的分数。

输入格式

共两行

第一行两个数 $n$ ，$m$ 。

第二行一共 $n$ 个数表示那位选手每一箭的环数。

数据范围

30% 的数据：$n \le 1000$ ，$m \le 20$

100% 的数据：$n \le 1000000$ ，$m \le 2000$

输出格式

输出文件只有一个数，表示这位选手的得分。如果这位运动员无法在这n箭中射出所有的环数，则输出-1。

样例

12 5
2 5 3 1 3 2 4 1 1 5 4 3

6

样例解释

这位选手从第2支箭到第7支箭射出了所有可能的环数，因此他的得分是 6 。