#include <stdio.h>
 
int main() {
    // Tampilkan nilai 12.036 dengan format 3 angka desimal
    printf("Waktu Boro: %.3f s\n", 12.036);
    return 0;
}
				I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbigpIHsKICAgIC8vIFRhbXBpbGthbiBuaWxhaSAxMi4wMzYgZGVuZ2FuIGZvcm1hdCAzIGFuZ2thIGRlc2ltYWwKICAgIHByaW50ZigiV2FrdHUgQm9ybzogJS4zZiBzXG4iLCAxMi4wMzYpOwogICAgcmV0dXJuIDA7Cn0=