With manual overclocking (including undervolting and power curve tuning) on top of that, it hit a monstrous 9404 points, a 41 ...