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