import core.bitop;
import std.algorithm;
import std.array;
import std.ascii;
import std.container;
import std.conv;
import std.format;
import std.math;
import std.random;
import std.range;
import std.stdio;
import std.string;
import std.typecons;

void main()
{
  auto nm = readln.chomp.split.map!(to!int);
  int n = nm.front;
  int m = nm.back;
  writeln = m * 1900 * (1 << m) + (n - m) * 100 * (1 << m);
}
