( 31 , 671 .)