These aren't contrived scenarios invented by test authors in total vacuum. They're consequences of the spec's design and reflect real world bugs.
第二十二条 纳税人购进货物、服务、无形资产、不动产，用于同时符合下列情形的非应税交易（以下统称不得抵扣非应税交易），对应的进项税额不得从销项税额中抵扣：
，详情可参考搜狗输入法下载
.pipeThrough(fastTransform)，推荐阅读快连下载安装获取更多信息
5.1 输入标准（统一请求模板）
SAT problem with 14 variables and 126 clauses