score:6
Fifteen to twenty minutes is generally enough. There's no registration to speak of. The longest part is passing through immigration, and, depending on the gate location, walking to the gate.
If it's your first time, I'd say arrive around 12:10. It'll be plenty.