import sequtils, strutils var a: seq[int] = stdin.readline.split.map(parseInt) ans: int = (a[0] - 1) div (2 * a[1]) * a[1] echo ans