import std.functional,
       std.algorithm,
       std.bigint,
       std.string,
       std.traits,
       std.array,
       std.range,
       std.stdio,
       std.conv;

void main() {
  ulong[] NM = readln.chomp.split.to!(ulong[]);
  ulong N = NM[0],
        M = NM[1];
  ulong x = 1900*M + 100*(N - M);
  ulong p = 1;
  foreach (_; 0..M) { p <<= 1; }
  writeln(x*p);
}
