[Leynos]

I've been using it for problems where the model struggles. Even if it doesn't find an answer, the extra opportunity for it to explore the problem space usually helps in getting me closer to the right answer.