Backsolving Strategy in SAT Math: Solve Faster