I am surprised this always comes up. It's the one thing that *wouldn't* have helped Rise of Skywalker. Because Carrie Fisher would have undoubtedly had a large role in the proposed plan for the third film and they would need to start over as they did anyway.

And just permute the digits. Now you get 9!4 for each 1

Is example 1 satisfiable and example 2 unsatisfiable?