20 , 579x2 .)