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

double dp[1005][1005];

int main() {
    int r, c, p;
    scanf("%d %d %d", &r, &c, &p);
    dp[r][c] = 0;
    for (int i = r - 1; i >= 1; --i) {
        dp[i][c] = dp[i + 1][c] + p / 4.0;
    }
    for (int j = c - 1; j >= 1; --j) {
        dp[r][j] = dp[r][j + 1] + p / 4.0;
    }
    for (int i = r - 1; i >= 1; --i) {
        for (int j = c - 1; j >= 1; --j) {
            double x = min(dp[i + 1][j], dp[i][j + 1]);
            double y = max(dp[i + 1][j], dp[i][j + 1]);
            dp[i][j] = (x + y) / 2.0 + (x * y - x * x / 2.0 - y * y / 2.0) / (p * 2.0);
        }
    }

    // for (int i = 1; i <= r; ++i) {
    //     for (int j = 1; j <= c; ++j) {
    //         cout << dp[i][j] << ' ';
    //     }
    //     printf("\n");
    // }

    printf("%.8lf", dp[1][1]);
    return 0;
}