分类目录2-SAT