Add problem 8.1
Add problem 8.9 (the previous one was actually 8.13)