#include <iostream>

int main() {
    double bgn;
    std::cin >> bgn;

    std::cout << (bgn / 1.95583);

    return 0;
}