搜索 satisfys\a