% SZS status Timeout for w2w__eq__n
