Input
2 10
8 9
Output
4
Input
3 5
4 4 4
Output
3