← 4 Search Problem formulation (23 points)