% SZS status Timeout for SPACE__SMALLEST__CLOSED__C
