====== 1.1 A First Problem: Stable Matching ======