7 5 / 12;