#include<stdio.h>
int f(int a){
	return (a+1.5);
}

void main() {
    float x=3.5;
	int y=2;
	float z=1.0;
	z+= x+y*12.5+f(x);
	printf("%.1f\n", z);
}