Text this: Improving SAT Solvers on Orthogonal Latin Square Problems