Similar Items: Improving SAT Solvers on Orthogonal Latin Square Problems