Find the mean for the following distribution:
12, 14, 10, 12, 15, 12, 18, 10, 15, 11, 19, 20, 12, 15, 19, 10, 18, 16, 20, 17.