#include <stdio.h>

int main(void){
unsigned long long l;
unsigned long long k;
int r=0;
int i;
int n=0;
char w;
char q;
char s[1000];
char t[1000];
scanf("%llu%llu",&l,&k);


do{
	l-=k*2;
	n++;
	r+=k;
	//printf("%d\n",l);
}while(l>10&&l>0);
printf("%d",r);
return 0;
}