该比赛已结束，您无法在比赛模式下递交该题目。您可以点击“在题库中打开”以普通模式查看和递交本题。

Problem K. Codeforces vs Atcoder

题目背景

众所周知，Codeforces和Atcoder都是acmer们喜欢刷题的地方，根据一些数据我们可以发现这两个网站的rating有如下对应关系：

题目描述

给定某人的Codeforces的rating，请你给出此人的Atcoder的rating。

（数据截止到 2024.4.1 10:00）

输入格式

输入一个整数 ，代表此人的Codeforces的rating。

输出格式

输出一个整数，代表此人的Atcoder的rating。

样例输入1

1798

样例输出1

858

数据范围及约定

输入的整数 $x$ 满足 $-53 \le x \le 3611$.

提示

1. 本题有两个测试数据。
2. 其中一个人在Codeforces的某场比赛中差一点打上4000的rating。
3. 出题人留下了如下信息，其中函数 $f(x) = 1 - e^{-x}$

1Nqxvszi1tCjrMjnufvE48rks/bBy9PrtPCwuLK70rvR+bXEveG5+6OsxMfDtLvhuPm+3dLUz8K55tTyxdC2z8rHt/G/ydLUQUMKwe4gdCA9IM/W1Nq1xMqxvOQgLSCxyMj8v6rKvLXEyrG85KOsdLXEtaXOu86q0KHKsaO7xMfDtMTju+HT0CBmKHQpILXEuMXCyrXDtb1BQ6OsMS1mKHQptcS4xcLKtcO1vVdB