#include <stdio.h>
int main(void)
{
    int L,K;
    
    scanf("%d%d",&L,&K);
    
    if(L/K==2){
        putchar('0');
    }else
        printf("%d\n",L/2/K*K);
}