How Hard Is The Sat