A psychological introvert-extrovert test produced scores that had a normal distribution with mean and standard deviation of 75 and 12, respectively. If we wish to designate the highest 15% as extrovert, what would be the proper score to choose as the cutoff point?