书目详细信息 : SAT解析