% SZS status Timeout for SUBSET__A
