[SAT.1 A]