% SZS status Timeout for SIMPLIFY_c
