% SZS status Timeout for okpath__thm_
