#include<stdio.h>
#include<stdint.h>
#include<inttypes.h>

int64_t n, x, ans;

void input(){
	scanf("%" SCNi64 "%" SCNi64, &n, &x);
}

int64_t min(int64_t a, int64_t b){
	return a>b? b:a;
}

void calc(){
	ans = (n-1)*3;
	if(ans % 2 == 0)
		return;
	ans -= min((x-1)*3, (n-x-1)*3);
}

void output(){
	printf("%"PRIi64"\n", ans);
}

int main(){
	input();
	calc();
	output();
}