<?php
    list($l, $k) = explode(" ", trim(fgets(STDIN)));
    $bite = floor($l / ($k * 2)) - 1;
    if($l - $bite * 2 * $k > 2 * $k){
        $bite++;
    }
    echo $bite * $k;
?>