1994 12 3 SAT