#include<stdio.h>

int main(void){

long long int L,K,ans;

scanf("%lld%lld",&L,&K);

ans=L/(2*K);

if(ans==1)
printf("0");
else{
ans*=K;
printf("%lld",ans);
}

return 0;

}