Add notification of unsat/unsolvable/missed to the RandomAccessSearch helper.