The eval bit in the end is interesting. Opus 5 and Sol 5.6 solved it reliably but Opus used 10x more tokens and room 10x as long!