#include <bits/stdc++.h>

using namespace std;
using ld = long double;

struct stableSum {
    int cnt = 0;
    vector<ld> v, pref{0};
    void operator+=(ld a) {
        a = max(0.0l, a);
        int s = ++cnt;
        while (s % 2 == 0) {
            a += v.back();
            v.pop_back(), pref.pop_back();
            s /= 2;
        }
        v.push_back(a);
        pref.push_back(pref.back() + a);
    }
    ld val() { return pref.back(); }
};

void test_case() {
    cout << fixed << setprecision(12);
    int s, t, n;
    cin >> s >> t >> n;
    map<int, int, greater<>> mp;
    for (int i = 0, m, h; i < n; ++i) {
        cin >> m >> h;
        int &x = mp[m];
        if (x == 0)
            x = h;
        else x = min(x, h);
    }
    if (s == t) {
        cout << "0\n"; return;
    }
    if (mp.begin()->first < s) {
        cout << "-1\n"; return;
    }
    stableSum ans;
    int current = s;
    int mn = mp.begin()->second;
    for (auto [m, h] : mp) {
        if (m <= t) {
            ans += mn * log2l(current * 1.0l / t);
            cout << ans.val() << '\n'; return;
        }
        if (mn <= h)
            continue;
        ans += mn * log2l(current * 1.0l / m);
        current = m;
        mn = h;
    }
    ans += mn * log2l(current * 1.0l / t);
    cout << ans.val() << '\n';
}

signed main() {
    ios::sync_with_stdio(false); cout.tie(nullptr); cin.tie(nullptr);
    test_case();
    // int tc; cin >> tc;
    // while (tc--) {
    //     test_case();
    // }
    return 0;
}