#include <stdio.h>
int main(){
int a,b;
scanf("%d%d",&a,&b);
printf("%d",--a/b/2*b);
return 0;
}