UNSTABLE: need to tune the ortho heuristic