I had one b4, and I hit 4x124 Mhz @ default Voltage easy! But my mobo was a Asus P2-99. Dont know about the Tyan.
Retail HSF, and put to run at 4x133 Mhz too, just didnt leave running cos I couldnt read temperatures on my mobo, I needed the thermal cable P2T to read temp from the processors.
So I stayed at 4 x 124 Mhz.
[Edit] Sorry I didnt read that you were using DUAL processors. Yeah, you might need to increase the voltage. But I think wont be all that hard to OC, just dont jump to 133 Mhz, go slowly!
Good luck!
Raf