从数据大小来看，这道题可以暴力，但是我要用公式 (
所以，WA90代码奉上
#include <bits/stdc++.h>
#define int long long
using namespace std;
int n,sum;
signed main(){
cin >> n;
if(n % 7 == 6){
cout << (n-6)*7+4;
}
else{
if(n%7<=3)
cout << ((n-n%7)/7-1)*7+3-n%7;
else
cout << ((n-n%7)/7-1)*7+10-n%7;
}
return 0;
}