satisfying t