/**
 * Created by Administrator on 2016/11/25 0025.
 */
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]/(8+2*first_line[1])*10))
    );





}

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