Long execution time makes this not very impressive. It's easy to benchmaxx if you give the model an insane compute budget and room to just brute force the problem. Efficiency is what actually matters.