% SZS status Timeout for INT__SGN__CLAUSES_
