#include <cstdio>
int main()
{
    long double x;
    scanf("%15Lf",&x);
    printf("%.8Lf",x/23);
    return 0;
}