Last night I flashed my DS3 with F10 BIOS.
I used to run 534FSB at 5-8-8-20, and now I'm running 4-8-8-4-12 at 547FSB, benchable Super Pi 1M:
547FSB, 3.829GHZ, 4-8-8-4-12
Was able to post a screenie at 550FSB, 3.85GHZ, 4-7-7-20 :
550FSB, 3.85Ghz, 4-7-7-20
Validated here
Please...