void main()
{
    import std.stdio, std.string, std.array, std.algorithm, std.conv;
    auto b = readln.chomp.split.map!(to!int);
    b[0].solve(b[1]).writeln;
}

int solve(in int nTestCase, in int mTLE)
{
    immutable
        base = 100 * nTestCase + 1800 * mTLE,
        pInv = 1 << mTLE;
    /*
    S := 1 p + 2 pq + 3 pq^2 + ...
    qS := 1 pq + 2 pq^2 + 3 pq^3 + ...
    S = (p + pq + pq^2 + ...) / (1-q)
    S = 1 + q + q^2 + ...
    S = 1/(1-q) = 1/p = pInv;
    */
    return base * pInv;
}

unittest
{
    assert (1.solve(1) == 3800);
    assert (10.solve(2) == 18400);
    assert (100.solve(5) == 608000);
    import std.stdio;
    stderr.writeln("unittest passed!");
}
