A large corporation sponsors bowling leagues for its employees. The mean score for men was 154 pins with a standard deviation of 9 pins, while the women had a mean score of 144 pins with a standard deviation of 12 pins. At the end of the season the league holds a tournament that randomly pairs men and women as opponents in the first round. Estimate the standard deviation of the differences in the competitors' scores.