Text this: Further accelerating the search of differential characteristics based on the SAT method