well search to compare similar systems to yours and see for your self. My opinion: You need some tweaking, you should expect some 17k at least, I have been just reading some reviews on fx5900xt and r9600xt cards, fx5900xt (worst 5900 card) gives 16500 marks without OC...
EDIT: Compare to mine
http://service.futuremark.com/compare?2k1=7645228
this is with ti4200
