超简单

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