using System;
using System.Collections.Generic;
class some
{
	public static void Main()
	{
		string[]kk=Console.ReadLine().Split();
		long N=long.Parse(kk[0]);
		long X=long.Parse(kk[1]);
		Console.WriteLine(3*(X)+(N-2*X)*3+(N-X));
	}
}