SAT changes