Added solution to 12.9