$U$ is always prime itself and is larger than any prime in $S$.

Any prime factor of $U$ must be a prime not contained in $S$.

$U$ is divisible by all primes in $S$, which means $U = 1$.

$U$ must be an even number, but $2$ is not in $S$.