Added solution to 12.13