% SZS status Timeout for bits__of__num__d
