3.2.3 SAT格式实体的导入