Loading...

Input

5 3

Expected Output

8