#include<iostream>
int main(int argc, char** argv) {
    std::cout << 1.4/10 << std::endl;
}