通过量子退火解决布尔多变量方程组 | Synapse