% SZS status Timeout for eq__add__sub__swit
