( 20 , 071 .)