firstdata = input();
nexdata = firstdata.split(" ");

sum = int(nexdata[0]);
kaziri = int(nexdata[1]);
result = int(kaziri * int(sum/int(2*kaziri)));

if result == kaziri:
	result= 0;

print(result);