// yukicoder: No.560 ふしぎなナップサック
// 2019.7.15 bal4u

#include <stdio.h>

int main()
{
	int M, N;

	scanf("%d%d", &M, &N);
	printf("%.12lf\n", M+(double)N/3);
	return 0;
}