Hmmm agents are only tools for owners/buyers... the decisions eventually belongs to you

Anyway as widely suggested... renting out 1st will be wise... and actively looking for buyers in the meantime will be good

Cutting loss is as important as entering into an investment... when your investment doesnt serve your purpose... better to cut (hopefully minimal loss) and reload to fight another day

But of course all these depends on many factors, since we don't know the full circumstances