Is Sat Hard