题解

#include<iostream>
using namespace std;
int main(){
    cout << 11876.9 << " " << 12000;
}