#include<stdio.h>
int main(){
	
	float x,y,a,b,ans;
	scanf("%f%f",&x,&y);
	printf("%.9f\n",(41/6.0)*x+(49/6.0)*y);
	return 0;
}