Added solution to 12.7