% SZS status Timeout for BEFORE__INVARIA
