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