#include <stdio.h>
int main(void){
	int A, B;
	scanf("%d%d",&A, &B);
	if(A > B){
		printf("%d",B * 2);
	}else{
		printf("%d",A * 2);
	}
}