import core.bitop;
import std.algorithm;
import std.ascii;
import std.bigint;
import std.conv;
import std.functional;
import std.format;
import std.math;
import std.numeric;
import std.range;
import std.stdio;
import std.string;
import std.random;
import std.typecons;

alias sread = () => readln.chomp();
alias Point2 = Tuple!(long, "y", long, "x");

T lread(T = long)()
{
    return readln.chomp.to!T();
}

T[] aryread(T = long)()
{
    return readln.split.to!(T[])();
}

void scan(TList...)(ref TList Args)
{
    auto line = readln.split();
    foreach (i, T; TList)
    {
        T val = line[i].to!(T);
        Args[i] = val;
    }
}

void minAssign(T, U = T)(ref T dst, U src)
{
    dst = cast(T) min(dst, src);
}

void maxAssign(T, U = T)(ref T dst, U src)
{
    dst = cast(T) max(dst, src);
}

enum MOD = (10 ^^ 9) + 7;

void main()
{
    long N, M;
    scan(N, M);
    long t = 1900 * M + 100 * (N - M);
    if (M == 0)
    {
        writeln(t);
        return;
    }
    long p = 1 << M;
    writeln(t * p);
    // long ans;
    // long i = 1;
    // while (true)
    // {
    //     long tmp = (i * t + ((p ^^ i) - 1)) / (p ^^ i);
    //     writeln(tmp);
    //     if (tmp == 0)
    //     {
    //         writeln(ans);
    //         return;
    //     }
    //     ans += tmp;
    //     i++;
    // }
}
