Testing SAT solving.