% SZS status Timeout for dominates__DI
