unittest
{
	assert( [ "1 1" ].parse.expand.solve == 3800 );
	assert( [ "10 2" ].parse.expand.solve == 18400 );
	assert( [ "100 5" ].parse.expand.solve == 608000 );
}



import std.conv;
import std.math;
import std.range;
import std.stdio;
import std.string;
import std.typecons;

void main()
{
	stdin.byLineCopy.parse.expand.solve.writeln;
}

auto parse( Range )( Range input )
if( isInputRange!Range && is( ElementType!Range == string ) )
{
	auto nm = input.front.split.to!( long[] );
	return tuple( nm[ 0 ], nm[ 1 ] );
}

auto solve( long n, long m )
{
	auto pu = 1.0f / pow( 2, m );
	auto tu = 1900.0f * m + 100 * ( n - m );
	
	auto c = 0f;
	auto pr = 1.0f;
	for( auto i = 1; true; i++ )
	{
		auto p = pr * pu;
		auto t = tu * i;
		auto pt = p * t;
		
		c += pt;
		pr -= p;
		if( pt < 0.1 ) break;		// 適当に打ち切り
	}
	c = c.ceil;
	if( c % 10 != 0 ) c+= 10 - c % 10;		// 途中で打ち切った分の補正
	
	return c;
}
