9.20 10,12 .