Input
2 2
Output
3
Input
9 3
Output
13