1-(20 choose 12)/(30 choose 12)