I threw a ton of various logic puzzles at Astra and... it logically (no code) solved ALL of them. I mean literally every puzzle that I tried, including: too hard for world championship, very large grids, unpublished puzzles, puzzles that are impossible to solve via backtracking alone. For comparison, sol 5.6 was around 20-30%. I analyzed the results and all of these were legit. Honestly I don't care if OpenAI RLed logic puzzles to death. Astra is now better at explaining solving paths than I am.