Scheduling and SAT