#include <bits/stdc++.h> using namespace std ; int main() { cout << "3.141592\n" ; return 0 ; }