I guess we can narrow it down to these four models
http://www.everymac.com/ultimate-mac-lookup/?search_keywords=A1425
The Axxxx number is what's printed on the bottom plate of most Apple laptops. The problem is that they use it for an entire line, so, as you noticed, it's no good if you want to identify a specific model. The CPU speed and type is though.