Utilities to run SAT