% SZS status Timeout for SN__finite__pat
