% SZS status Timeout for UNION__DIFF_
