ik heb eigenlijk bijna compleet hetzelfde systeem en haal op standaard clocks tegen de 4800. Dit zou je ook moeten halen.
Probeer eens de default settings in bios, die staan meestal vrij goed (in het geval je er niet veel van kent).
In jou geval zou ik formateren, drivers installeren en 3dmarks laten lopen, lijkt me makelijkst