firstdata = input(); nexdata = firstdata.split(" "); sum = int(nexdata[0]); kaziri = int(nexdata[1]); result = int(kaziri * int(sum/int(2*kaziri))); count = int(sum/int(2*kaziri)); if result == kaziri and count ==1: result= 0; print(result);