Payday loan small direct lender. Sortiva GP Groot. (6+6+7)/3. Satisfiability Modulo theories.