#include <bits/stdc++.h>
#define dubble long double
using namespace std;
int r,c,p;
dubble dp[1011][1011];
int main()
{
	scanf("%d%d%d",&r,&c,&p);
	for(int i=0;i<=r;++i)dp[i][0]=1e18;
	for(int i=0;i<=c;++i)dp[0][i]=1e18;
	dp[1][1]=0;
	for(int i=1;i<=r;++i)
	{
		for(int j=1;j<=c;++j)if(i!=1||j!=1)
		{
			dubble a=dp[i-1][j],b=dp[i][j-1];
			if(a<b)swap(a,b);
//			printf("i:%d j:%d a:%Lf b:%Lf\n",i,j,a,b);
			if(a-b>p)dp[i][j]=p/4.0+b;
			else
			{
				dubble d=a-b;
				dp[i][j]=(d+p)/(p+p)*(0.5*d*d/(d+p)+b);
				dp[i][j]+=(p-d)/(p+p)*a;
			}
		}
	}
	printf("%.100Lf\n",dp[r][c]);
}