SYH型三维混合机SAT验证方案