Reachability search working in n^(3+log(n)) time