( 20 , 031 .)