repair-to-drive Traffic-Rule-Compliant Trajectory Repair Using Satisfiability Solving and Reachability Analysis