#include<bits/stdc++.h>
using namespace std;
int main(){
	double t;
	int n;
	cin>>t>>n;
	printf("%.3lf",t/3);
	cout<<endl;
	cout<<n*2;
	return 0;
}