% SZS status Timeout for SUMMABLE__
