Didn’t try pro because non-pro o3 can find many valid solutions (and is faster)

→ View original post on X — @goodside