<?php
// Your code here!

    fscanf(STDIN,"%d %d",$l,$k);
    
    $yuu = 0;
    while ($l - $k * 2 > 0) {
        $yuu += $k;
        $l -= $k * 2;
    }
    
    echo $yuu;


?>