<?php
list($l, $k) = explode(" ", (trim(fgets(STDIN))));
$ans;$m = 0;
while ( $l > 0 ) {
    $l -= $k * 2;
    $m++;
}
$ans = ($m - 1) * $k;
echo $ans."\n";