078.cpp

#include<bits/stdc++.h>
using namespace std;

int main(){
  int n,m;cin>>n>>m;
  int ans=1900*m+100*(n-m);
  for(int i=0;i<m;++i){
    ans*=2;
  }
  cout<<ans<<endl;
}