#include<stdio.h>

int main(){
	int L,k,m,c=0;
	scanf("%d%d",&L,&k);
	m=2*k;
	c=L/k*0.5;
	printf("%d",c*k);
	return 0;
}