Fixed unrealizable core finding algorithm