What is 1/3 the sum of 7 and 11?