#include <bits/stdc++.h>
using namespace std;
const long long N = 1e3;
const long long big = 1e18;
const long long block = 800;
const long long mod = 1e6;
long long n, x;
int main() {
  ios_base::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  cin >> n >> x;
  cout << x * 3 + (n - x) + 3 * (n - 2 * x);
}
