You're correct that Patran needs 13 tokens when using MSC One. That message suggests that Patran's looking at a MasterKey token licence - it needs 77 MasterKey (Campus) tokens.
You say you changed the licence server yesterday; what was the change exactly? Do you have MasterKey tokens as well as MSC One tokens? Is Patran looking at the right licence server?