3-SAT solver for two-way quantum computers | Synapse