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) writefln("%.7f", 1000*x+2000*y); else { auto s = min(4*C/3, 4*D); writefln("%.7f", 1000*s); } }