How Hard Is A 1500 Sat