Input
4 2
3 3 4 0
Output
3
Input
3 3
0 1 2
Output
3