Improved SAT instance generators.