#include <float.h>
#include <limits.h>
#include <math.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>

// 内部変数
static FILE *szpFpI;											// 入力
static double sdC, sdD;											// C, D

// 内部変数 - テスト用
#ifdef D_TEST
	static int siRes;
	static FILE *szpFpA;
	static int siTNo;
#endif

// 出力
int
fOut(
	char *pcpLine				// <I> １行
)
{
	char lc1Buf[1024];

#ifdef D_TEST
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, pcpLine)) {
		siRes = -1;
	}
#else
	printf("%s", pcpLine);
#endif

	return 0;
}

// 金額 - 取得
double
fGetVal(
	double pdA					// <I> A
)
{
	// 残量
	double ldC = sdC - pdA * 3.0 / 4.0;
	double ldD = sdD - pdA / 4.0;

	// B
	double ldB = ldC * 7.0 / 2.0;
	double ldVal = ldD * 7.0 / 5.0;
	if (ldB > ldVal) {
		ldB = ldVal;
	}

	return pdA * 1000.0 + ldB * 2000.0;
}

// 実行メイン
double
fMain(
)
{
	char lc1Buf[1024];

	// C, D - 取得
	fgets(lc1Buf, sizeof(lc1Buf), szpFpI);
	sscanf(lc1Buf, "%lf%lf", &sdC, &sdD);

	// Aの最大
	double ldMaxA = sdC * 4.0 / 3.0;
	double ldVal = sdD * 4.0;
	if (ldMaxA > ldVal) {
		ldMaxA = ldVal;
	}

	// 試行
	double ldMinA = 0.0;
	double ldVal1 = 0.0;
	double ldVal2 = DBL_MAX;
	while (fabs(ldVal2 - ldVal1) > 0.0000001) {

		// 差
		double ldDF = (ldMaxA - ldMinA) / 3.0;

		// 比較値
		double ldA1 = ldMinA + ldDF;
		double ldA2 = ldMaxA - ldDF;

		// 金額
		ldVal1 = fGetVal(ldA1);
		ldVal2 = fGetVal(ldA2);
		if (ldVal1 > ldVal2) {
			ldMaxA = ldA2;
		}
		else {
			ldMinA = ldA1;
		}
	}

	return ldVal1;
}

// １回実行
int
fOne(
)
{
	double ldRet;
	char lc1Buf[1024];

	// 入力 - セット
#ifdef D_TEST
	sprintf(lc1Buf, ".\\Test\\T%d.txt", siTNo);
	szpFpI = fopen(lc1Buf, "r");
	sprintf(lc1Buf, ".\\Test\\A%d.txt", siTNo);
	szpFpA = fopen(lc1Buf, "r");
	siRes = 0;
#else
	szpFpI = stdin;
#endif

	// 実行メイン
	ldRet = fMain();

	// 結果 - セット
	sprintf(lc1Buf, "%.7lf\n", ldRet);

	// 結果 - 出力
	fOut(lc1Buf);

	// 残データ有無
#ifdef D_TEST
	lc1Buf[0] = '\0';
	fgets(lc1Buf, sizeof(lc1Buf), szpFpA);
	if (strcmp(lc1Buf, "")) {
		siRes = -1;
	}
#endif

	// テストファイルクローズ
#ifdef D_TEST
	fclose(szpFpI);
	fclose(szpFpA);
#endif

	// テスト結果
#ifdef D_TEST
	if (siRes == 0) {
		printf("OK %d\n", siTNo);
	}
	else {
		printf("NG %d\n", siTNo);
	}
#endif

	return 0;
}

// プログラム開始
int
main()
{

#ifdef D_TEST
	int i;
	for (i = D_TEST_SNO; i <= D_TEST_ENO; i++) {
		siTNo = i;
		fOne();
	}
#else
	fOne();
#endif

	return 0;
}