<?php
$_fp = fopen("php://stdin", "r");
/* Enter your code here. Read input from STDIN. Print output to STDOUT */

fscanf ($_fp , "%d %d", $n, $m);

$col = $m;
$coupures = 0;

do
    {
$col = round($col / 2);
$coupures ++;
}
while ($col>1);

echo ($n * $coupures) - 1;


?>