Evaluating publicly available LLMs on IMO 2025