#include <stdio.h>

int main(void) {
	printf("%0.20f", 0.00067470452986403745);
	return 0;
}