% SZS status Timeout for FINITE__BAG__DIFF__du
