revised SAT Archive