Strong_exponential_time_hypothesis loading ...