codeMarshal
#include<stdio.h>
int main()
{
unsigned long long int n,x,c;
scanf("%llu%llu",&n,&x);
c=3*n+2*(2*n-x)+(2*n-x);
printf("%llu\n",c);
return 0;
}
#include<stdio.h>
int main()
{
unsigned long long int n,x,c;
scanf("%llu%llu",&n,&x);
c=3*n+2*(2*n-x)+(2*n-x);
printf("%llu\n",c);
return 0;
}