Running SAT