split unsat from unreal core-finding, but they both currently do the same thing