which came out last December, and despite its TDP of just 45W, has a base clock of 4.0 GHz and a Turbo Boost of 5.2 GHz, ...