SAT procedures