Entanglement | Quantum physics comes to the SAT