#include<stdio.h>
int main(){
    int l,k;
    int res = 0;
    scanf("%d %d",&l,&k);

    while(2*k < l){
        l -= 2*k;
        res+=k;
    }
    printf("%d\n",res);
    return 0;
}