11231 / 10 .)