( 20 \ 3)