12 - 探索存在性问题