#include <stdio.h>

int main(void) {
	printf("%f", ( 44474025505478620106407223274000875520.0 * 5454277033526873088.0 ) );
	return 0;
}