% SZS status Timeout for neginf__disj1__implies__exorigin
