#include<iostream>
#include<cstdio>

using namespace std;

int Month;
int Day;

char *data[] ={
 "Monday",
 "Tuesday",
 "Wednesday",
 "Thursday",
 "Friday",
 "Saturday",
 "Sunday"
};
int days[12] = {31,29,31,30,31,30,31,31,30,31,30,31};

int ans[12][31];
int d;
int main()
{   
    
  scanf("%d %d",&d,&Month);
  double a = d*Month/3.305785;
  cout <<a;
  return 0;
}