% SZS status Timeout for FINITE__SET__OF__B
