% SZS status Timeout for SUB__num__to__bin__stri
