% SZS status Timeout for neginf__exoriginal__implies__r
