#include<stdio.h>
int main()
{
	int a, b;
	scanf("%d %d", &a, &b);
	if (a < b)
		printf("%d\n", 2 * a);
	else
		printf("%d\n", 2 * b);
	return 0;
}