#include <bits/stdc++.h>
using namespace std;
using ll = long long;
const int N = 1e5 + 5;
const int INF = 1E9;

// M
// int main() {
// 	ios_base::sync_with_stdio(false);
// 	cin.tie(0);
// 	int n; int ii; int t;
// 	cin >> n >> ii >> t;	
// 	vector<array<int, 4>> it(n);
// 	for(int i = 0; i < n; i++) {
// 		cin >> it[i][0] >> it[i][1] >> it[i][2] >> it[i][3];
// 	}
// 	vector<vector<int>> dp(n + 1, vector<int>(n + 1, -1));
// 	dp[0][0] = 0;
// 	for(int i = 0; i < n; i++) {
// 		for(int j = 0; j <= i; j++) {
// 			if(dp[i][j] != -1) {
// 				int ti = ii + j;
// 				int tt = t + dp[i][j] - j;
// 				if(ti >= it[i][0] && ti <= it[i][1] && tt >= it[i][2] && tt <= it[i][3]) {
// 					dp[i + 1][j + 1] = max(dp[i + 1][j + 1], dp[i][j] + 1);
// 					dp[i + 1][j] = max(dp[i + 1][j], dp[i][j] + 1);
// 				}
// 				dp[i + 1][j] = max(dp[i + 1][j], dp[i][j]);
// 			}
// 		}
// 	}
// 	int ans = 0;
// 	for(int i = 0; i <= n; i++) {
// 		ans = max(ans, dp[n][i]);
// 	}
// 	cout << ans << "\n";
// }

int main() {
	cin.tie(0)->sync_with_stdio(0);
	int r,c;
	cout << fixed << setprecision(10);
	long double p;
	cin >> r >> c >> p;
	vector<vector<long double>> dp(r, vector<long double>(c));
	for(int x = c-2; x >= 0; x--) {
		dp[r-1][x]=dp[r-1][x+1]+p/4;
	}
	for(int x = r-2; x >= 0; x--) {
		dp[x][c-1]=dp[x+1][c-1]+p/4;
	}
	for(int row = r-2; row >= 0; row--) {
		for(int col = c-2; col >= 0; col--) {
			long double stratChange = abs(dp[row+1][col]-dp[row][col+1]);
			if(stratChange<p) {
				long double chance = stratChange/p;
				dp[row][col]+=min(dp[row+1][col],dp[row][col+1])*chance;
				dp[row][col]+=chance*0.5*stratChange/2;
				dp[row][col]+=(1-chance)*0.5*min(dp[row+1][col], dp[row][col+1]);
				dp[row][col]+=(1-chance)*0.5*max(dp[row+1][col], dp[row][col+1]);
			} else {
				//always wait
				dp[row][col]=min(dp[row+1][col], dp[row][col+1])+p/4;
			}
		}
	}
	cout << dp[0][0] << endl;
}


//B222
// int main() {
// 	cin.tie(0)->sync_with_stdio(0);
// 	int t;
// 	cin >> t;
// 	while(t--) {
// 		string s;
// 		cin >> s;
// 		// vector<set<int>> digits(10);
// 		// for(int i = 0; i < s.size(); i++) {
// 		// 	if(s[i]=='?') continue;
// 		// 	digits[s[i]-'0'].insert(i);
// 		// }
// 		long long ans = 1<<30;
// 		//special case
// 		string start = "";
// 		for(int i = 1; i <= 999; i++) {
// 			start+=to_string(i);
// 		}
// 		for(int st = 0; st < start.size(); ++) {
// 			int end = st+s.size()-1;
// 			if(end>=start.size()) {
// 				break;
// 			}
// 			bool works = true;
// 			for(int moves = 0; moves < s.size(); moves++) {
// 				if(start[st+moves]==s[moves]||s[moves]=='?') {
// 				} else {
// 					works = false;
// 					break;
// 				}
// 			}
// 			if(works) {
// 				ans=st+1;
// 				break;
// 			}
// 		}
// 		if(ans!=(1<<30)) {
// 			cout << ans << "\n";
// 			continue;
// 		}
// 		//does not change digits
// 		for(int digits = 3; digits < 30; digits++) {
// 			for(int left = 0; left < digits; left++) {
// 				bool works = true;
// 				int change = -1;
// 				for(int x = 0; x < digits; x++) {
// 					if(left+x==digits-1) {
// 						int cur=-1;
// 						for(int y = x; y < s.size(); y+=digits) {
// 							if(s[y]!='?') {
// 								if(cur==-1) {
// 									cur=s[y]-'0';
// 									//look for change
// 									int tempcur = cur;
// 									for(int z = y; z >= digits; z-=digits) {
// 										if(tempcur==0) {
// 											int tempchange = z+1-digits;
// 											if(change==-1) {
// 												change=tempchange;
// 											} else if(change!=tempchange) {
// 												works=false;
// 											}
// 										}
// 										tempcur--;
// 									}
// 								} else {
// 									if(cur!=s[y]-'0') works=false;
// 								}
// 							}
// 							if(cur!=-1) {
// 								cur++;
// 								cur%=10;
// 							}
// 						}
// 					} else {

// 					}
// 				}
// 			}	
// 		}
// 	}
// }