#include<bits/stdc++.h>
using namespace std;

int main()
{
    int t,i;
    double r1,r2,r3,a,b,c,ans,angA,angB,angc,n,s,s1,s2,s3,area1,area2;
    cin>>t;
    for(i=1;i<=t;i++)
    {
        cin>>r1>>r2>>r3;
        a=r1+r2;
        b=r1+r3;
        c=r2+r3;
        s=(a+b+c)/2;
        area1=sqrt(s*(s-a)*(s-b)*(s-c));
        angA=acos(((b*b)+(c*c)-(a*a))/(2*b*c));
        angB=acos(((a*a)+(c*c)-(b*b))/(2*a*c));
        angc=acos(((b*b)+(a*a)-(c*c))/(2*b*a));
        s1=0.5*angA*r3*r3;
        s2=0.5*angB*r2*r2;
        s3=0.5*angc*r1*r1;
        area2=s1+s2+s3;
        ans=area1-area2;
        printf("Case %d: %.10lf\n",i,ans);
    }
    return 0;
}