( 5231 ) C.