is the sum of 9/12