#include<iostream> #include<cstdio> using namespace std; int main(){ int T,S; cin >> T >> S; printf("%.3f",(double)T*S/12.0);//这里T*S可能达到10^18次方,必须使用double return 0; }