( 12 , C31 .)