% SZS status Timeout for finite__paths__
