2023 WSMO Accuracy Round Problems/Problem 1