USAlgo 2023 Set 1 13