Mode 5 [t4, t5]: At t = t4, when CBX is fully discharged,
the built-in diode of SBXR is forward-biased, and the
output current will circulate through SAYF and SBXF,
making the output voltage clamped at –VAB. Just before
the current reverses, SAYF and SBXF are switched off.