( 12 , 193 .)