#include <stdio.h>

int main(void) {

	int a, b;
	scanf("%d%d", &a, &b);
	if(a >= b){
		printf("%d\n", b * 2);
	}
	else{
		printf("%d\n", a * 2);
	}

	return 0;
}