#include <bits/stdc++.h>
#define gc getchar
#define pc putchar
using namespace std;
typedef long long ll;
const int maxn = 1145;

double dp[maxn][maxn],p;
int n,m;

int main() {
  ios::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);

  cin>>n>>m>>p;
  for(int i=1; i<n; i++) {
    dp[i][0]=dp[i-1][0]+p/4.;
  }
  for(int i=1; i<m; i++) {
    dp[0][i]=dp[0][i-1]+p/4.;
  }
  for(int i=1; i<n; i++) {
    for(int j=1; j<m; j++) {
      double l=min(dp[i-1][j],dp[i][j-1]),r=max(dp[i-1][j],dp[i][j-1]);
      double cut=min(r-l,p);
			dp[i][j]=l/2.+(cut/2.+l)*cut/p/2.+(p-cut)/p*r/2.;
    }
  }
  
  cout<<setprecision(15)<<dp[n-1][m-1];

  return 0;
}