Find the number of ways of choosing three different numbers from the set {1, 2, 3, ..., 12, 13, 14, 15}, so that their sum is 20.
