重新设计的SAT