$${AB = 9,5\mathrm{mm}}$$