function Main(input) {
  input = input.split("\n");
  var n = parseInt(input[0].split(" ")[0]);
  var m = parseInt(input[0].split(" ")[1]);
  var ans = (1900*m+100*(n-m))*Math.pow(2,m);
  console.log('%s', ans);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));