% SZS status Timeout for NOT__EXP_
