% SZS status Timeout for SMALLEST__CLOSED__C
