Never had any luck with Smart doctor ...
But those clocks don't seem to bad for four cards .....
Maybe give three a shot may be able to get a little more out of them.
I have read the Multi card scaling is better with 9.12's but that is nothing I have personally been able to prove
CPU speed @ 4.8 to 5 I would hope gets you in that 40K realm .................
In for the results .... good luck bro I am sure it is a blast playing with four of those beasts .....