Add problem 7.12
Add problem 11.15