#include "stdio.h"

int main() {
	printf("%.15f", (2.0 + 3.0 + 0.6 + 0.8));
}