Input
3 6
2 3 5
Output
2
Input
6 7
1 2 3 4 5 6
Output
7