Find forced values in a SAT instance.