2023 WSMO Tiebreaker Round Problems/Problem 2