% SZS status Timeout for finite__path__end__cas
