#include <stdio.h>

int main(void)
{
	int revolution = 20;
	float Tdr = 1.12345;
	float tm = revolution * Tdr;
	printf("T\t%f", tm);
}