3 ms·

Note that gravitational microlensing is a completely different technique from solar gravitational lensing discussed in the linked paper.