Is this ok for a stock 13900K in Cinebench R24? Not many scores out yet ...