Input
1 3
Output
9
Input
3 2
Output
8
Input
5 0
Output
10