Mild pro-p-groups with 4 generators

Let p be an odd prime and S a finite set of primes ≡1 mod p. We give an effective criterion for determining when the Galois group G=GS(p) of the maximal p-extension of unramified outside of S is mild when S=4 and the cup product is surjective.