#include<iostream>
	using namespace std;
	int main() {
	    cout<<"12 "<<"47";
	    return 0;
	}