Samsung Galaxy A9 Professional noticed on GFXBench with 4GB of RAM and a 16MP digital camera