import std.stdio;
import std.array;
import std.string;
import std.conv;
import std.algorithm;
import std.typecons;
import std.range;
import std.random;
import std.math;
import std.container;
import std.numeric;
import std.bigint;


void main() {
  auto input = readln.split.map!(to!real);
  auto C = input[0];
  auto D = input[1];

  auto x = 20*C/13 - 8*D/13;
  auto y = -7*C/13 + 21*D/13;
  if (x >= 0 && y >= 0)
    writeln(1000*x+2000*y);
  else {
    auto s = min(4*C/3, 4*D);
    writeln(1000*s);
  }
}