Finished solution of 2012_2 K3 c)