#include <stdio.h>

int main(void) {
	double b = 2.5;
	printf("b=%f\n",b);
	// your code goes here
	return 0;
}