SAT is working