#include<stdio.h>
#include<stdlib.h>

typedef long long int ln;

int main(void){

	double p;
	double c;

	p=(double)(2+3+5+7+11+13)/6;
	c=(double)(4+6+8+9+10+12)/6;
	int a,b;
	scanf("%d%d",&a,&b);
	double res=1.0;
	while(a>0){
		res*=p;
		a--;
	}
	while(b>0){
		res*=c;
		b--;
	}
	printf("%.10lf\n",res);
	return 0;
}