此题存在精度问题
（1）当为st赋值高数据量时，int会爆0
所以采用long long
（2）“ *1.0 ” 是为了保存分子的小数

#include <cstdio>
#include <iostream>

using namespace std;

int main(){
    long long t , s ;
    cin >> t >> s ;
    printf("%.3lf", s * t * 1.0 / 12.0);
    return 0;
}