added in old sat-based reachability testing. less trivial than i remembered.