We did not have to add any extra voltage, the auto settings took proper care of this.
At 4200 MHz we finish wPrime in 91 seconds (1024M / 16t) and shaved off a good five seconds. The Tdie max temp, however, reached 83 Degrees C.