function Main(input) {
	input = input.trim().split("\n").map(function(x) { return x.split(" ")});
	var N = parseInt(input[0][0], 10);
	var M = parseInt(input[0][1], 10);
	var T = 1800 * M + 100 * N;
	var ans = Math.pow(2, M) * T;
	console.log(ans);
}
  
Main(require("fs").readFileSync("/dev/stdin", "utf8")); 