What version of workbench with MySQL Server 5.1 ? (no replies)

Hi Guy,
an external company still uses MySQL Server version 5.1.
What is the latest release of MySQL Workbench to use with such an old engine?
Thank you.