Improving SAT Solvers on Orthogonal Latin Square Problems (ArXiv cs.DM Recent Papers, 2026)