Consider the following statements :
S1: A heuristic is admissible if it never overestimates the cost to reach the goal.
S2: A heuristic is monotonous if it follows triangle inequality property.
Which of the following is true referencing the above statements ?
Choose the correct answer from the code given below :
$Code:$
- Neither of the statements S1 and S2 are true
- Statement S1 is false but statement S2 is true
- Statement S1 is true but statement S2 is false
- Both the statements S1 and S2 are true