IMO 2024 — Complete Shortlist Question 26

Determine all finite, nonempty sets $ S $ of positive integers such that for every $ a, b \in S $ there exists $ c \in S $ with $ a \mid b + 2c $.