奥运射箭比赛，信息学选手准备为那些选手打分，如果一位选手能在尽量短的时间内射出所有可能的环数，那么他的得分就是那段最短时间的长度。 现在，告诉你其中一位选手共射出了n只箭，当然他每个单位时间射出一只箭。还会告诉你他射出的每只箭的环数。当然，还会告诉你环数总共的可能性有m中，环数分别为1-m（为啥没零？你认为能参加奥运会的选手会脱靶么？）。

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

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

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

6
样例说明：
该选手在5 3 1 3 2 4 这一段内射出了1-5环，因此时间是6。