(function() {
    'use strict';

    var lines = [];
    require('readline').createInterface({
      input: process.stdin,
      output: process.stdout
    }).on('line', function(line) {
      lines.push(line);
    });
    process.stdin.on('end', function() {
      //lines.forEach(function(line) {
        //var tokens = line.split(' ').map(Number);
        //    console.log(tokens[0] + ' ' + tokens[1]);
      //}
      //)
      ;

    // ToDo start
      var inLines = lines[0].split(" ")
      var N = inLines[0];
      var M = inLines[1];
      var ans = 0;
      var P =[];
      var unitTime = (N -M ) * 100 + M * 1900;

//      P[0] = Math.pow((1./2),M )
//      ans = P[0] *unitTime;

//      for(var i = 1;i<1000;i++){
//        P[i] = ( P[i-1] ) * ( 1 - P[0])
//        ans += P[i] * unitTime * (i+1)
//        if (P[i] * unitTime < 0.01){
//            break;
//        }
//      }
        

    console.log(unitTime*Math.pow(2,M) )
      
//      console.log( Math.pow(parseInt(lines[0]),2) - parseInt(lines[1])  )
    // ToDo end

    });


})();

