beq $s0, $t0, XuatSac