SAT changes SAT-1389