% SZS status Timeout for transitive__O__RSUBS
