ans should be C h* underestimates h .
Rule is A∗A∗ algorithm gives an optimal solution if h* never overestimates h (admissible heuristics so b is out
underestimating h means algo is looking for better soln which may be found if it is there(optimal soln)