what is 9.45 divided by 3