Input
7 1
Output
6
Input
10 2
Output
4