include[HTML_REMOVED]

using namespace std;
int main()
{
long long t,s; //因为数据可能很大，要用long long!! int太小了，用了结果就是wrong answer！！！
double l;
cin>>t>>s;
l=s*t/12.0; //第二个坑：除以12的话不是准确的，小数点后就只会算出来.000，但不是所有的小数点后都是0！
//碰到了除法就是去除以12.0
printf(“%.3lf”,l);
return 0;
}