#include <stdio.h>

int main(void){
	int a = 0 , b = 0;
	scanf("%d %d",&a,&b);
	int min = 0;
	if(a < b){
		min = a;
	}else{
		min = b;
	}
	printf("%d",min*2);
}