% SZS status Timeout for FINITE__SUB__B
