3.4.2 ucs pseudo-code
3.4.2 notes