<?php
    list($l, $k) = explode(" ", trim(fgets(STDIN)));
    $nokori = $l;
    $count = 0;
    while($nokori > ($k * 2)){
    $nokori = $nokori - ($k * 2);
    $count++;
    }
    echo $count * $k;