#include <stdio.h>

int main(){
	int shot, choco;
	scanf("%d%d",&shot,&choco);
	
	if(shot > choco){
		printf("%d",choco * 2);
	}else{
		printf("%d",shot * 2);
	}
}