( 20 , 993 .)