Salaries for senior Civil engineers per year have known mean of 78 K dollars and standard deviation 3.7 K dollars. Provided that the salaries per year for senior Civil engineers have a nearly symmetric/bell-curve distribution, what percent (%) of Civil engineers have salary between 78 K and 81.7 K dollars?