a;main(float b){a=scanf("%d%f",&a,&b)>printf("%f",a>3*b?b*4e3:a<.4*b?a*7e3:(6*a+34*b)/.013);}