% SZS status Timeout for is__tree__strongi
