( 6.3953 4 .)