Tag: quantum SAT