Loading...

Input

10 4

Expected Output

14