Haller's Concordance: SAT