Input
4 3
Output
6