検索 satisfys\a