import std.stdio;
import std.string;
import std.conv;
import std.bigint;
import std.typecons;
import std.algorithm;
import std.array;
 
void main() {
    auto tmp = readln.split.to!(int[]);
    auto N = tmp[0];
    auto M = tmp[1];
    writeln((M * 1900 + (N-M) * 100) * 2^^M);
}
