% SZS status Timeout for finite__okpath__i
