( 12 , 231 .)