void main(){
  import std.stdio, std.string, std.conv, std.algorithm;

  int n, m; rd(n, m);

  writeln((m*1900+(n-m)*100)*(1<<m));
}

void rd(T...)(ref T x){
  import std.stdio, std.string, std.conv;
  auto l=readln.split;
  assert(l.length==x.length);
  foreach(i, ref e; x){
    e=l[i].to!(typeof(e));
  }
}