Add solutions to 5.4.3
Add solutions to 5.4.4
Add solution to 5_12
Fix 5_13

It turns out that there's a built in procedure for removing duplicates from lists.