#include<iostream> using namespace std; int main(){ int a,b,c; cin>>a>>b>>c; printf("%.2lf",a*b*c/3.0); return 0; }