Helping some students get up to speed with their SAT solver