% SZS status Timeout for FINITE__WEAK__ENUMERA
