Mine "9450" does 3.8Ghz at 1.25v.