SEARCH: how to satisfy