Locality and Hard SAT-Instances