Hard and Easy SAT Problems