I think that sounds about right.
I just stuck mine to 3.8 in bios but left everything as auto. Runs stable @ 1.25 I think...can't be bothered tweaking for the extra 100 - 200mhz!
Have you got your ram running at 3200mhz also? Just had to bump my voltage up to 1.4v.
Yep team dark pro running off the DOCP straight to 3200mhz no issues