(double)clock() / CLOCKS_PER_SEC << "s";

#include <bits/stdc++.h>
using namespace std;
int main()
{
    cout << "1364/2207" << endl;
    cout << (double)clock() / CLOCKS_PER_SEC << "s";
    return 0;
}