function Main(input) {
    // inputにはすべての入力の文字列が与えられるので必要に応じて input.split("\n") などで分割する。

    var data = input.split("\n")

    var first_line = data[0].split(" ").map(function (x) {
        return x-0;
    });
    console.log(
        50*first_line[0]+Math.floor((50*first_line[0]/(0.8+0.2*first_line[1])));
    );




        
}

// Don't edit this line!
Main(require("fs").readFileSync("/dev/stdin", "utf8"));