( 7~ * / , 10 .)