Is there a difference between reachability and satisfiability?