( 20 ( 3 )^